You are here

Publications

  1. Armando A.; Oudkerk S.; Ranise S.; Wrona K.,
    Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    Foundations and Practice of Security,
    Springer International Publishing,
    vol.8352,
    2014
    , pp. 227-
    244
    , (Foundations and Practice of Security - 6th International Symposium, FPS 2013,
    La Rochelle, France,
    October 21-22, 2013)
  2. Mojtaba Eskandari; Anderson Santana de Oliveira; Bruno Crispo,
    VLOC: An Approach To Verify The Physical Location Of A Virtual Machine In Cloud,
    IEEE CloudCom 2014,
    2014
    , (CloudCom 2014,
    Singapore,
  3. Daniel Ricardo dos Santos;Carla Merkle Westphall;Carlos Becker Westphall,
    A dynamic risk-based access control architecture for cloud computing,
    2014 IEEE Network Operations and Management Symposium (NOMS),
    2014
    , pp. 1-
    9
  4. Paulo F. Silva; Carlos B. Westphall; Carla M. Westphall; Mauro M. Mattos; Daniel Ricardo dos Santos,
    An Architecture for Risk Analysis in Cloud,
    Proceedings of The Tenth International Conference on Networking and Services (ICNS2014),
    2014
  5. Stanislav Dashevskyi; Daniel Ricardo dos Santos; Fabio Massacci; Antonino Sabetta,
    TESTREX: a Testbed for Repeatable Exploits,
    7th Workshop on Cyber Security Experimentation and Test (CSET'14),
    2014
  6. Delzanno G.; Tatarek M.; Traverso R.,
    Model Checking Paxos in Spin,
    Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014,
    2014
  7. Delzanno G.; Rensink A.; Traverso R.,
    Graph- versus Vector-Based Analysis of a Consensus Protocol,
    Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014,
    2014
  8. Ranise S.; Traverso R.,
    ALPS: An Action Language for Policy Specification and Automated Safety Analysis,
    Security and Trust Management - 10th International Workshop, STM 2014,
    2014
  9. Armando A.; Carbone R.; Chekole E. G.; Petrazzuolo C.; Ranalli A.; Ranise S.,
    Smart Grid Security,
    Springer,
    vol.8448,
    2014
    , pp. 48-
    62
    , (Second International Workshop, SmartGridSec 2014,
    Munich, Germany,
    February 26, 2014)
  10. A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti,
    in «COMPUTERS & SECURITY»,
    vol. 33,
    2013
    , pp. 41 -
    58

Pages