Efficient verification of security protocols using partial-order reductions

Edmund Clarke; Somesh Jha; Will Marrero

doi:10.1007/s10009-002-0103-4

Efficient verification of security protocols using partial-order reductions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-002-0103-4 ◽

2003 ◽

Vol 4 (2) ◽

pp. 173-188 ◽

Cited By ~ 3

Author(s):

Edmund Clarke ◽

Somesh Jha ◽

Will Marrero

Keyword(s):

Partial Order ◽

Security Protocols ◽

Efficient Verification

Download Full-text

Efficient Verification of Security Protocols Time Properties Using SMT Solvers

Advances in Intelligent Systems and Computing - International Joint Conference: 12th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2019) and 10th International Conference on EUropean Transnational Education (ICEUTE 2019) ◽

10.1007/978-3-030-20005-3_3 ◽

2019 ◽

pp. 25-35 ◽

Cited By ~ 1

Author(s):

Agnieszka M. Zbrzezny ◽

Sabina Szymoniak ◽

Mirosław Kurkowski

Keyword(s):

Security Protocols ◽

Smt Solvers ◽

Efficient Verification

Download Full-text

Distributed Partial Order Reduction for Security Protocols

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.10.022 ◽

2008 ◽

Vol 198 (1) ◽

pp. 93-99 ◽

Cited By ~ 3

Author(s):

M. Torabi Dashti ◽

A. Wijs ◽

B. Lisser

Keyword(s):

Partial Order ◽

Security Protocols ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Efficient verification using generalized partial order analysis

Proceedings Design, Automation and Test in Europe ◽

10.1109/date.1998.655947 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Vercauteren ◽

D. Verkest ◽

G. de Jong ◽

B. Lin

Keyword(s):

Partial Order ◽

Order Analysis ◽

Efficient Verification

Download Full-text

Partial Order Reduction for Branching Security Protocols

2010 10th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2010.19 ◽

2010 ◽

Author(s):

Wan Fokkink ◽

Mohammad Torabi Dashti ◽

Anton Wijs

Keyword(s):

Partial Order ◽

Security Protocols ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

A Systematic Review of Security Protocols for Ubiquitous Wireless Networks

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/sv7i5/0266 ◽

2017 ◽

Vol 7 (5) ◽

pp. 290-297

Author(s):

Manas Kumar Yogi ◽

◽

L. Yamuna ◽

P. Surayanka ◽

◽

...

Keyword(s):

Systematic Review ◽

Wireless Networks ◽

Security Protocols

Download Full-text

Deriving the Partial Order of Documents to Extend Clustering Applications

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i1.424430 ◽

2019 ◽

Vol 7 (1) ◽

pp. 424-430

Author(s):

A. George Louis Raja ◽

F. Sagayaraj Francis ◽

P. Sugumar

Keyword(s):

Partial Order

Download Full-text

Towards a Standard for a Reliable Execution Environment for Security Protocols

Journal of Science and Technology Issue on Information and Communications Technology ◽

10.31130/jst.2016.31 ◽

2016 ◽

Vol 2 (1) ◽

pp. 78

Author(s):

Mahalingam Ramkumar

Keyword(s):

Information Systems ◽

Full Advantage ◽

Real World ◽

Security Protocols ◽

Low Complexity ◽

High Integrity ◽

Execution Environment ◽

World Information ◽

Digital Assets ◽

Attack Models

Approaches for securing digital assets of information systems can be classified as active approaches based on attack models, and passive approaches based on system-models. Passive approaches are inherently superior to active ones. However, taking full advantage of passive approaches calls for a rigorous standard for a low-complexity-high-integrity execution environment for security protocols. We sketch broad outlines of mirror network (MN) modules, as a candidate for such a standard. Their utility in assuring real-world information systems is illustrated with examples.

Download Full-text