Publications

61. Armando A.; Merlo A.; Verderame L.,
    Security considerations related to the use of mobile devices in the operation of critical infrastructures,
    in «INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION»,
    vol. 7,
    n. 4,
    2014
    , pp. 247 -
    256
62. Armando A.; Carbone R.; Compagna L.,
    SATMC: a SAT-based Model Checker for Security-critical Systems,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    Tools and Algorithms for the Construction and Analysis of Systems- 20th International Conference, {TACAS} 2014,
    Springer Berlin Heidelberg,
    vol.8413,
    2014
    , pp. 31-
    45
    , (20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    Grenoble, France,
    5-13 April 2014)
63. 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)
64. 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)
65. 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)
66. 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)
67. 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,
68. 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
69. 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
70. 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

Pages