From post

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.

 

Другие публикации лиц с тем же именем

Formal Analysis of a Privacy-Preserving Billing Protocol., , и . SmartGridSec, том 7823 из Lecture Notes in Computer Science, стр. 108-119. Springer, (2012)Selective Release of Smart Metering Data in Multi-domain Smart Grids., , , , , и . SmartGridSec, том 8448 из Lecture Notes in Computer Science, стр. 48-62. Springer, (2014)SATMC: a SAT-based model checker for security protocols, business processes, and security APIs., , и . Int. J. Softw. Tools Technol. Transf., 18 (2): 187-204 (2016)LTL model checking for security protocols., , и . J. Appl. Non Class. Logics, 19 (4): 403-429 (2009)Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution., , , и . SECRYPT, стр. 147-158. SciTePress, (2016)SecCo: Automated Services to Secure Containers in the DevOps Paradigm., , , и . RACS, стр. 10:1-10:6. ACM, (2023)Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols., , и . NSS, том 7873 из Lecture Notes in Computer Science, стр. 728-734. Springer, (2013)Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory., , , и . ETAA@ESORICS, том 12515 из Lecture Notes in Computer Science, стр. 71-89. Springer, (2020)An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations., , , , , и . Comput. Secur., (2013)Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities., , , , , и . ARES, стр. 20:1-20:11. ACM, (2023)