Found 11 Documents (Results 1–11)
SAT-based verification of security protocols via translation to networks of automata. (English) Zbl 1196.68140
Edelkamp, Stefan (ed.) et al., Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence, 146-165 (2007).
Modelling and checking timed authentication of security protocols. (English) Zbl 1157.94369
MSC:
94A62
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. (English) Zbl 1137.68431
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. (English) Zbl 1126.68579
Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 137-151 (2004).
MSC:
68T15
94A60
New decidability results for fragments of first-order logic and application to cryptographic protocols. (English) Zbl 1038.03012
Nieuwenhuis, Robert (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40254-3/pbk). Lect. Notes Comput. Sci. 2706, 148-164 (2003).
Verification of authentication protocols based on the binding relation. (English) Zbl 1033.94558
Okada, Mitsuhiro (ed.) et al., Software security – theories and systems. Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8–10, 2002. Revised papers. Berlin: Springer (ISBN 3-540-00708-3/pbk). Lect. Notes Comput. Sci. 2609, 299-316 (2003).
SET cardholder registration: The secrecy proofs (extended abstract). (English) Zbl 0988.68739
Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 5-12 (2001).
TAPS: A first-order verifier for cryptographic protocols. (English) Zbl 0974.68562
Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 568-571 (2000).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (6)
all
top 5
Author
- Penczek, Wojciech (3)
- Kurkowski, Mirosław (2)
- Bhargavan, Karthikeyan (1)
- Boureanu, Ioana (1)
- Bozzano, Marco (1)
- Bundy, Alan (1)
- Cohen, Ernie (1)
- Cohen, Mika (1)
- Comon-Lundh, Hubert (1)
- Cortier, Véronique (1)
- Delzanno, Giorgio (1)
- Fournet, Cédric (1)
- Gordon, Andrew D. (1)
- Hagiya, Masami (1)
- Jakubowska, Gizela (1)
- Lomuscio, Alessio (1)
- Maidl, Monika (1)
- Paulson, Lawrence Charles (1)
- Saito, Takamichi (1)
- Steel, Graham (1)
- Takahashi, Koichi (1)
- Takemura, Ryo (1)
- Zbrzezny, Andrzej (1)
Serial
- Fundam. Inform. (2)
- Theor. Comput. Sci. (1)
- J. Symb. Comput. (1)
- J. Appl. Non-Class. Log. (1)