scholarly journals Integrated Specification and Verification of Security Protocols and Policies

Author(s):  
Simone Frau ◽  
Mohammad Torabi-Dashti



2018 ◽  
Vol 44 (8) ◽  
pp. 725-746 ◽  
Author(s):  
Li Li ◽  
Jun Sun ◽  
Yang Liu ◽  
Meng Sun ◽  
Jin-Song Dong


Author(s):  
Manas Kumar Yogi ◽  
◽  
L. Yamuna ◽  
P. Surayanka ◽  
◽  
...  


Author(s):  
Mahalingam Ramkumar

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