( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pattern-based abstraction for verifying secrecy in protocols.

, , и . Int. J. Softw. Tools Technol. Transf., 8 (1): 57-76 (2006)

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.

Amandine Périnet

Sinan Perin

Charles Perin

Karin Perinelli

Tiziana Perini

 

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

Certification of Smart-Card Applications in Common Criteria., и . FASE, том 5503 из Lecture Notes in Computer Science, стр. 309-324. Springer, (2009)HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 219-222. Springer, (2003)Consistency checking for multiple view software architectures, , и . Proc. European Software Engineering Conf. and Foundations of Software Engineering (ESEC/FSE), том 1687 из Lecture Notes in Computer Science, стр. 410--428. Springer-Verlag, (1999)Convincing Proofs for Program Certification., и . SafeCert@ETAPS, том 238 из Electronic Notes in Theoretical Computer Science, стр. 41-56. Elsevier, (2008)The Verified Polyhedron Library: an Overview., , , , и . SYNASC, стр. 9-17. IEEE, (2018)Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra., , и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 345-365. Springer, (2013)Certifying cryptographic protocols by abstract model-checking and proof concretization., , и . SIGBED Review, 3 (4): 37-57 (2006)Consistency Checking for Multiple View Software Architectures., , и . ESEC / SIGSOFT FSE, том 1687 из Lecture Notes in Computer Science, стр. 410-428. Springer, (1999)Gentzen-Prawitz Natural Deduction as a Teaching Tool, , и . CoRR, (2009)Consistency checking for multiple view software architectures, , и . 1687, стр. 410--428. (1999)