You are here

Publications

  1. Solimando A.; Traverso R.,
    Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper),
    10th International Workshop on Declarative Agent Languages and Technologies (DALT),
    Springer,
    vol.7784,
    2012
    , pp. 203-
    207
    2012)
  2. R. Carbone,
    LTL Model-Checking for Security Protocols,
    in «AI COMMUNICATIONS»,
    vol. 24,
    n. 3,
    2011
    , pp. 281 -
    283
  3. M. Barletta; S. Ranise; L. Vigano,
    A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures,
    in «SERVICE ORIENTED COMPUTING AND APPLICATIONS»,
    vol. 5,
    n. 1,
    2011
  4. C. Lynch; S. Ranise; C. Ringeissen; D.-K. Tran,
    Automatic Decidability and Combinability,
    in «INFORMATION AND COMPUTATION»,
    vol. 209,
    n. 7,
    2011
  5. M. Barletta; A. Calvi; S. Ranise; L. Vigano; L. Zanetti,
    Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services,
    in «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE»,
    vol. 12,
    n. 1,
    2011
  6. R. Carbone; M. Minea; S. A. Mödersheim; S. E. Ponta; M. Turuani; L. Viganò,
    The Future Internet,
    Berlin,
    Springer,
    2011
    , pp. 193 -
    207
  7. Alberti F.; Armando A.; Ranise S.,
    Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies,
    Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS),
    2011
    , (6th ACM Symposium on Information, Computer and Communications Security (ASIACCS'10),
    Hong Kong,
    22-24/03/2011)
  8. Armando A.; Ranise S.,
    Automated Symbolic Analysis of ARBAC Policies,
    Proceedings of 6th International Workshop on Security and Trust Management (STM),
    Springer,
    vol.6710,
    2011
    , pp. 17-
    34
    , (6th International Workshop on Security and Trust Management (STM'10),
    Athens, Greece,
    23-24/09/2010)
  9. A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti,
    From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?,
    2011
    , (26th IFIP TC-11 International Information Security Conference (SEC 2011),
    Luzern, Switzerland,
    June 7-9, 2011)
  10. R. Bruttomesso; S. Ghilardi; S. Ranise,
    Rewriting-based Quantifier-free Interpolation for a Theory of Arrays,
    2011
    , (22nd Int. Conf. on Rewriting Techniques and Applications (RTA '11),
    Novi Sad, Serbia,
    30/05/2011 a 01/06/2011)

Pages