Publicações

Efficient Decision Procedures for Message Deducibility and Static Equivalence

AuthID
P-007-XSM

Author(s)

Conchinha, B

Basin, D

Caleiro, C

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 6561 LNCS, Páginas: 34-49

Conference

7Th International Workshop on Formal Aspects of Security and Trust, Fast 2010, Date: 16 September 2010 through 17 September 2010, Location: Pisa

Indexing