Result 1 to 17 of 17 total
Static validation of security protocols. (English)
J. Comput. Secur. 13, No. 3, 347-390 (2005).
1
Securing statically-verified communications protocols against timing attacks. (English)
Electron. Notes Theor. Comput. Sci. 128, No. 4, 123-143 (2005).
2
Performance evaluation of security protocols specified in lysa. (English)
Electron. Notes Theor. Comput. Sci. 112, 167-189 (2005).
3
Automated analysis of infinite scenarios. (English)
De Nicola, Rocco (ed.) et al., Trustworthy global computing. International symposium, TGC 2005, Edinburgh, UK, April 7‒9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-30007-4/pbk). Lecture Notes in Computer Science 3705, 334-352 (2005).
4
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform. (English)
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18‒22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 286-301 (2005).
5
For-LySa: UML for authentication analysis. (English)
Priami, Corrado (ed.) et al., Global computing. IST/FET international workshop, GC 2004, Rovereto, Italy, March 9‒12, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-24101-9/pbk). Lecture Notes in Computer Science 3267, 93-106 (2005).
6
On evaluating the performance of security protocols (English)
PaCT, 1-15 (2005).
7
End-to-end integrated security and performance analysis on the DEGAS choreographer platform (English)
FM, 286-301 (2005).
8
Automated analysis of infinite scenarios (English)
TGC, 334-352 (2005).
9
Security for mobility. (English)
Focardi, Riccardo (ed.) et al., Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures. Berlin: Springer (ISBN 3-540-20955-7/pbk). Lect. Notes Comput. Sci. 2946, 207-265 (2004).
10
The succinct solver suite. (English)
Jensen, Kurt (ed.) et al., Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 ‒ April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21299-X/pbk). Lecture Notes in Computer Science 2988, 251-265 (2004).
11
A calculus for control flow analysis of security protocols. (English)
Int. J. Inf. Secur. 2, No. 3-4, 145-167 (2004).
12
The succinct solver suite (English)
TACAS, 251-265 (2004).
13
For-lysa: UML for authentication analysis (English)
Global Computing, 93-106 (2004).
14
Automatic validation of protocol narration (English)
CSFW, 126-140 (2003).
15
Security for mobility (English)
FOSAD, 207-265 (2002).
16
Towards a process algebra for shared processors. (English)
Electron. Notes Theor. Comput. Sci. 52, No. 3 (2001).
17
Result 1 to 17 of 17 total
Start
Contact
Print
General Help
