Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

Show other versions (1)

Bibliographic Details
Main Author:	Roscoe, A
Format:	Conference item
Published:	IEEE 1998

Similar Items

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A, et al.
Published: (1999)

FDR3 — A Modern Refinement Checker for CSP
by: Gibson−Robinson, T, et al.
Published: (2014)

A compositional logic for proving security properties of protocols
by: Durgin, N, et al.
Published: (2004)

Data independent verification of crypto−protocols
by: Roscoe, A, et al.
Published: (2000)

Principles of the spin model checker /
by: 288973 Ben-Ari, Mordechai
Published: (2008)

Common modeling language for model checkers
by: Abdul Samad, Pathiah, et al.
Published: (2012)

Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model
by: Mauricio Ayala-Rincón, et al.
Published: (2013-01-01)

Proving the Herman-Protocol Conjecture
by: Bruna, M, et al.
Published: (2016)

CBMC – C bounded model checker
by: Kroening, D, et al.
Published: (2014)

The Investigation of TLC Model Checker Properties
by: Vadym Viktorovych Shkarupylo, et al.
Published: (2016-06-01)

Show me the facts: newsroom-affiliated and independent fact-checkers' transparency acts
by: Seet, Seth, et al.
Published: (2024)

Relay checker and grader/
by: 280909 Ng, Chun Hau
Published: (1992)

Wire layout checker
by: Raja Ravi
Published: (2008)

Proving the correctness of data link layer protocol in FDDI networks
by: Er, Chuan Teck
Published: (2009)

A New Machine-Learning Technique Applied to the Game of Checkers
by: Griffith, Arnold
Published: (2004)

Intensional specifications of security protocols
by: Roscoe, A
Published: (1996)

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols
by: Jiawen Song, et al.
Published: (2019-01-01)

The Modelling and Analysis of Security Protocols
by: Roscoe, A, et al.
Published: (2001)

Artificial Intelligence (AI)-Based Pronunciation Checker: An Alternative for Independent Learning in Pandemic Situation
by: Sari Dewi Noviyanti
Published: (2020-12-01)

INFAMY: An Infinite−State Markov Model Checker
by: Hahn, E, et al.
Published: (2009)

Integration of a Software Model Checker into Isabelle
by: Daum, M, et al.
Published: (2005)

The spin model checker : primer and reference manual /
by: 455693 Holzmann, Gerard J.
Published: (2004)

Distributed MAP in the SpinJa Model Checker
by: Stefan Vijzelaar, et al.
Published: (2011-10-01)

On the Scalability of the GPUexplore Explicit-State Model Checker
by: Nathan Cassee, et al.
Published: (2017-12-01)

Modelling unbounded parallel sessions of security protocols in CSP
by: Roscoe, A, et al.
Published: (2006)

Modelling and analysis of security protocols
by: Ryan, P, et al.
Published: (2001)

Modelling and Analysis of Security Protocols
by: Ryan, P, et al.
Published: (2001)

ECO Smart Result Checker
by: Foo, Fong Yeng, et al.
Published: (2020)

Checkers and choice in manpower management.
by: Alfred, Theodore M.
Published: (2009)

PARAM: A Model Checker for Parametric Markov Models
by: Hahn, E, et al.
Published: (2010)

Formal Security-Proved Mobile Anonymous Authentication Protocols with Credit-Based Chargeability and Controllable Privacy
by: Chun-I Fan, et al.
Published: (2016-06-01)

On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2012-01-01)

On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2015-03-01)

How to Design a Secure Anonymous Authentication and Key Agreement Protocol for Multi-Server Environments and Prove Its Security
by: Yun-Hsin Chuang, et al.
Published: (2021-09-01)

Proving Authentication Properties in the Protocol Derivation Assistant
by: Anlauff, M, et al.
Published: (2006)

starMC: an automata based CTL* model checker
by: Elvio Gilberto Amparore, et al.
Published: (2022-02-01)

BE INDEPENDENT AND PROVE THAT YOU ARE CAPABLE, USM VC URGES GRADUANDS
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2016)

Usability and security of out−of−bound channels in secure device pairing protocols
by: Kainda, I, et al.
Published: (2009)

On the Relationship Between Web Services Security and Traditional Protocols
by: Kleiner, E, et al.
Published: (2006)

CONSTRUCTING CHECKERS FROM PSL PROPERTIES
by: Gheorghita, ̧, et al.
Published: (2005)