scholarly journals Automatic verification of correspondences for security protocols*

2009 ◽  
Vol 17 (4) ◽  
pp. 363-434 ◽  
Author(s):  
Bruno Blanchet
Keyword(s):  
Security Protocols ◽  
Automatic Verification

Automatic Verification for Later-Correspondence of Security Protocols

2015 ◽  
pp. 111-126 ◽  
Author(s):  
Xiaofei Xie ◽  
Xiaohong Li ◽  
Yang Liu ◽  
Li Li ◽  
Ruitao Feng ◽  
...  
Keyword(s):  
Security Protocols ◽  
Automatic Verification

A Systematic Review of Security Protocols for Ubiquitous Wireless Networks

2017 ◽  
Vol 7 (5) ◽  
pp. 290-297
Author(s):  
Manas Kumar Yogi ◽  
◽  
L. Yamuna ◽  
P. Surayanka ◽  
◽  
...  
Keyword(s):  
Systematic Review ◽  
Wireless Networks ◽  
Security Protocols

Towards a Standard for a Reliable Execution Environment for Security Protocols

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.

Sign in / Sign up

Export Citation Format

Share Document