You are here

Publications

  1. S. Ranise,
    On the Verification of Security-Aware E-services,
    in «JOURNAL OF SYMBOLIC COMPUTATION»,
    vol. 47,
    n. 9,
    2012
    , pp. 1066 -
    1088
  2. R. Bruttomesso; S. Ghilardi; S. Ranise,
    Quantifier-Free Interpolation of a Theory of Arrays,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    n. 2,
    2012
  3. F. Alberti; S. Ghilardi; E. Pagani; S. Ranise; G. P. Rossi,
    Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories,
    in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
    vol. 8,
    n. 1/2,
    2012
    , pp. 29 -
    61
  4. A. Armando; S. Ranise,
    Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 20,
    2012
    , pp. 309 -
    352
  5. A. Armando; G. Costa; A. Merlo; L. Verderame,
    Securing the "Bring Your Own Device'' Policy,
    in «JOURNAL OF INTERNET SERVICES AND APPLICATIONS»,
    vol. 2,
    n. 3,
    2012
    , pp. 3 -
    16
  6. A. Armando; E. Giunchiglia; M. Maratea; S. E. Ponta,
    An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints,
    in «JOURNAL OF COMPUTER AND SYSTEM SCIENCES»,
    vol. 1,
    2012
  7. T.K Dang; A.T. Truong,
    Anonymizing but Deteriorating Location Databases,
    in «POLIBITS»,
    vol. 46,
    2012
    , pp. 73 -
    81
  8. A. Armando; R. Carbone; L. Compagna; G. Pellegrino,
    Automatic Security Analysis of SAML-based Single Sign-On Protocols,
    Digital Identity and Access Management: Technologies and Frameworks,
    Hershey, Pennsylvania,
    IGI Global,
    2012
    , pp. 168 -
    187
  9. A. Armando; G. Pellegrino; R. Carbone; A. Merlo; D. Balzarotti,
    TESTS AND PROOFS,
    Springer,
    vol.7305,
    2012
    , pp. 3-
    18
    , (6th International Conference, TAP 2012,
    Prague, Czech Republic,
    da 05/31/2012 a 06/01/2012)
  10. R. Bruttomesso; A. Carioni; S. Ghilardi; S. Ranise,
    Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7226,
    2012
    , (NASA Formal Methods - 4th International Symposium, NFM 2012,
    Norfolk, VA, USA,
    04/03/2012 a 04/05/2012)

Pages