( en | de | ru )

 

Disambiguation of "Massacci, Fabio"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying security protocols as planning in logic programming.

, and . ACM Trans. Comput. Log., 2 (4): 542-580 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Ruggiero

Fábio Favarim

 

Other publications of authors with the same name

Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.. TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 217-231. Springer, (1998)A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach., and . FOSAD, volume 6858 of Lecture Notes in Computer Science, page 152-184. Springer, (2011)EXPTIME tableaux for ALC., and . Artif. Intell., 124 (1): 87-138 (2000)How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach., , , , and . ICAIL, page 149-153. ACM, (2007)An Empirical Methodology to Evaluate Vulnerability Discovery Models., and . IEEE Trans. Software Eng., 40 (12): 1147-1162 (2014)Formal Verification of Cardholder Registration in SET., , , and . ESORICS, volume 1895 of Lecture Notes in Computer Science, page 159-174. Springer, (2000)Privacy Is Linking Permission to Purpose., and . Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, page 179-191. Springer, (2004)Maintaining privacy on derived objects., , , and . WPES, page 10-19. ACM, (2005)Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 263-276. Springer, (2003)Then and Now: On the Maturity of the Cybercrime Markets The Lesson That Black-Hat Marketeers Learned., , and . IEEE Trans. Emerg. Top. Comput., 4 (1): 35-46 (2016)