|
Journals in DBLP
- Pierpaolo Degano, Luca Viganò
Preface. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:1- [Journal]
- Martín Abadi, Véronique Cortier
Deciding knowledge in security protocols under equational theories. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:2-32 [Journal]
- Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
Compositional analysis of contract-signing protocols. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:33-56 [Journal]
- Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Formal analysis of Kerberos 5. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:57-87 [Journal]
- Carlos Caleiro, Luca Viganò, David A. Basin
On the semantics of Alice&Bob specifications of security protocols. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:88-122 [Journal]
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
Probable innocence revisited. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:123-138 [Journal]
- Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
Injective synchronisation: An extension of the authentication hierarchy. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:139-161 [Journal]
- Santiago Escobar, Catherine Meadows, José Meseguer
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:162-202 [Journal]
- Sebastian Nanz, Chris Hankin
A framework for security analysis of mobile wireless networks. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:203-227 [Journal]
- Ramaswamy Ramanujam, S. P. Suresh
A (restricted) quantifier elimination for security protocols. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:228-256 [Journal]
- Graham Steel
Formal analysis of PIN block attacks. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:367, n:1-2, pp:257-270 [Journal]
|