MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "FDR Explorer." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Using Data-Independence in the Analysis of Intrusion Detection Systems
by Gordon Thomas Rohrmair, Gavin Lowe — 2003 — Workshop on Issues in the Theory of Security (WITS’03
… as CSP processes, and used the model checker FDR to explore the state space looking for states where…
Cited by 5 (0 self) – Add To MetaCart

Using Data-Independence in the Analysis of
by Intrusion Detection Systems, Gordon Thomas Rohrmair, Gavin Lowe — 2003 — Workshop on Issues in the Theory of Security (WITS’03
… the systems as CSP processes, and used the model checker FDR to explore the state space looking for states…
Add To MetaCart

Three variations on the analysis of the Needham-Schroeder Public-Key Protocol with MGS
by Olivier Michel, Olivier Michel, Jean-Louis Giavitto, Jean-louis Giavitto, Florent Jacquemard, Florent Jacquemard — 2004 — MGS, 25 pages, Technical report, n o LaMI-98-2004, LaMI – UniversitÃ© d’Evry - CNRS
… the model checker FDR to explore the state space. The Needham-Schroeder public key protocol involves two…
Cited by 1 (0 self) – Add To MetaCart

On Distributed Security Transactions that use Secure Transport Protocols
by Philippa Broadfoot, Gavin Lowe — 2003 — In Proceedings, 16th Computer Security Foundations Workshop
… interact with them, and then to use the model checker FDR to explore the state space, looking for insecure…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB