Author of the publication

Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context.

, , , , , and . SMC, page 1127-1132. IEEE, (2017)

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.

 

Other publications of authors with the same name

Secrecy of cryptographic protocols under equational theory., , and . Knowl. Based Syst., 22 (3): 160-173 (2009)Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns., , , , and . STM, volume 9331 of Lecture Notes in Computer Science, page 3-19. Springer, (2015)Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy., and . SECRYPT, page 184-189. INSTICC Press, (2008)Enforcing Security Policies on Programs., , and . SoMeT, volume 147 of Frontiers in Artificial Intelligence and Applications, page 195-207. IOS Press, (2006)FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach., , and . CISDA, page 1-8. IEEE, (2012)Towards Understanding the Role of Execution Context for Observing Malicious Behavior in Android Malware., , , , and . ICETE (Selected Papers), volume 764 of Communications in Computer and Information Science, page 48-71. Springer, (2016)A rewriting system for the assessment of XACML policies relationship., , , and . Comput. Secur., (2020)Secrecy by witness-functions under equational theories., and . ECAI, IEEE, (2015)Toward the Formalization of Business Process Model and Notation., , and . SoMeT, volume 337 of Frontiers in Artificial Intelligence and Applications, page 248-264. IOS Press, (2021)Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting., , and . SoMeT, volume 337 of Frontiers in Artificial Intelligence and Applications, page 85-98. IOS Press, (2021)