MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verifying Security." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

544 documents found, showing 1 through 10. Next 10 →

ATOM

Verifying Security Protocols with Brutus
by E. M. Clarke, S. Jha, W. Marrero — 2000
…Verifying Security Protocols with Brutus E.M. CLARKE Carnegie Mellon University S. JHA University…
Cited by 36 (3 self) – Add To MetaCart

Compiling and Verifying Security Protocols
by Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron — 2000
…Compiling and Verifying Security Protocols Florent Jacquemard 1 , Michael Rusinowitch 1…
Cited by 43 (4 self) – Add To MetaCart

Verifying Security Protocols: An ASM Approach
by Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn — 2005 — PROC.ASM05. UNIVERSITÉ DE PARIS 12
…Verifying Security Protocols: An ASM Approach. Dominik Haneberg, Holger Grandy, Wolfgang Reif…
Cited by 3 (2 self) – Add To MetaCart

Modal tableaux for verifying security protocols
by Mehmet A. Orgun, Guido Governatori, Chuchang Liu
…Modal tableaux for verifying security protocols Mehmet A. Orgun 1 , Guido Governatori 2…
Add To MetaCart

Verifying security protocols as planning in logic programming
by Fabio Massacci — 2001 — ACM Transactions on Computational Logic
…Verifying Security Protocols as Planning in Logic Programming LUIGIA CARLUCCI AIELLO Università di…
Cited by 20 (6 self) – Add To MetaCart

Using SPIN to Verify Security Properties of Cryptographic Protocols
by Paolo Maggi, Riccardo Sisto — 2002 — In LNCS
…Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto…
Cited by 7 (0 self) – Add To MetaCart

Formal Development and Verifiation of Security-Critical Systems with UML
by Jan Jürjens — 2001
… we report on work towards verifying security properties in a formal core of UML in a compositional…
Add To MetaCart

Verifying Security Properties using Type-Qualifier Inference
by Robert Timothy Johnson, Robert Timothy Johnson — 2007
…Verifying Security Properties using Type-Qualifier Inference by Robert Timothy Johnson B…
Cited by 1 (0 self) – Add To MetaCart

Implementing a Formally Verifiable Security Protocol in Java Card
by Engelbert Hubbers, Martijn Oostdijk, Erik Poll — 2003 — Proceedings of the First International Conference on Security in Pervasive Computing, volume 2802 of Lecture Notes in Computer Science
…Implementing a Formally Verifiable Security Protocol in Java Card Engelbert Hubbers, Martijn…
Cited by 8 (2 self) – Add To MetaCart

Verifying security protocols with timestamps via translation to timed automata
by Gizela Jakubowska, Wojciech Penczek, Marian Srebrny — 2005 — Warsaw University
… Verifying Security Protocols with Timestamps via Translation to Timed Automata? Gizela…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB