Publications

61. Ranise S.; Truong A.,
    Incremental analysis of evolving administrative role based access control policies,
    Data and Applications Security and Privacy XXVIII,
    Springer,
    vol.8566,
    2014
    , pp. 260-
    275
    , (28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSeC14),
    Vienna, Austria,
    14-16 July 2014)
62. Ranise S.; Truong A.; Armando A.,
    Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control,
    Proceedings of the 19th ACM symposium on Access control models and technologies,
    ACM Press,
    2014
    , pp. 103-
    114
    , (ACM Symposium on Access Control Models and Technologies (SACMAT14),
    London, Ontario, Canada,
    June 25-25 2014)
63. Armando A.; Carbone R.; Chekole E. G.; Ranise S.,
    Attribute Based Access Control for APIs in Spring Security,
    SACMAT '14 Proceedings of the 19th ACM symposium on Access control models and technologies,
    New York, NY, USA,
    ACM New York, NY, USA ©2014,
    2014
    , pp. 85-
    88
    , (ACM Symposium on Access Control Models and Technologies (SACMAT14),
    London, Ontario, Canada,
    June 25-27, 2014)
64. 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)
65. 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,
66. 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
67. 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
68. 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
69. 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
70. 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

Pages