Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders

Computer Security – ESORICS 2016 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-45741-3_23 ◽

2016 ◽

pp. 450-470 ◽

Cited By ~ 14

Author(s):

Vivek Nigam ◽

Carolyn Talcott ◽

Abraão Aires Urquiza

Keyword(s):

Security Protocols ◽

Automated Verification ◽

Physical Security

Download Full-text

Challenges in the Automated Verification of Security Protocols

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_34 ◽

2008 ◽

pp. 396-409 ◽

Cited By ~ 2

Author(s):

Hubert Comon-Lundh

Keyword(s):

Security Protocols ◽

Automated Verification

Download Full-text

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-662-46666-7_14 ◽

2015 ◽

pp. 259-279 ◽

Cited By ~ 8

Author(s):

Max Kanovich ◽

Tajana Ban Kirigin ◽

Vivek Nigam ◽

Andre Scedrov ◽

Carolyn Talcott

Keyword(s):

Security Protocols ◽

Physical Security

Download Full-text

Automated Verification of Selected Equivalences for Security Protocols

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.8 ◽

2006 ◽

Cited By ~ 46

Author(s):

B. Blanchet ◽

M. Abadi ◽

C. Fournet

Keyword(s):

Security Protocols ◽

Automated Verification

Download Full-text

Automated Verification of Timed Security Protocols with Clock Drift

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_31 ◽

2016 ◽

pp. 513-530

Author(s):

Li Li ◽

Jun Sun ◽

Jin Song Dong

Keyword(s):

Security Protocols ◽

Automated Verification ◽

Clock Drift

Download Full-text

Automated Verification of Accountability in Security Protocols

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00034 ◽

2019 ◽

Cited By ~ 2

Author(s):

Robert Kunnemann ◽

Ilkan Esiyok ◽

Michael Backes

Keyword(s):

Security Protocols ◽

Automated Verification

Download Full-text

Automated verification of selected equivalences for security protocols

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2007.06.002 ◽

2008 ◽

Vol 75 (1) ◽

pp. 3-51 ◽

Cited By ~ 115

Author(s):

Bruno Blanchet ◽

Martín Abadi ◽

Cédric Fournet

Keyword(s):

Security Protocols ◽

Automated Verification

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

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