scholarly journals Integrated Specification and Verification of Security Protocols and Policies

2011 ◽  
Author(s):  
Simone Frau ◽  
Mohammad Torabi-Dashti
Keyword(s):  
Security Protocols ◽  
Specification And Verification

An Environment for the Specification And Verification of Time-Dependent Security Protocols

2009 ◽  
Vol 31 (3) ◽  
pp. 183-192 ◽  
Author(s):  
M. Benerecetti ◽  
N. Cuomo ◽  
A. Peron
Keyword(s):  
Security Protocols ◽  
Time Dependent ◽  
Specification And Verification

scholarly journals A Formal Specification and Verification Framework for Timed Security Protocols

2018 ◽  
Vol 44 (8) ◽  
pp. 725-746 ◽  
Author(s):  
Li Li ◽  
Jun Sun ◽  
Yang Liu ◽  
Meng Sun ◽  
Jin-Song Dong
Keyword(s):  
Formal Specification ◽  
Security Protocols ◽  
Formal Specification And Verification ◽  
Specification And 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.

Real-Time System: Specification and Verification

1989 ◽  
Author(s):  
K. T. Narayana
Keyword(s):  
Real Time ◽  
System Specification ◽  
Time System ◽  
Real Time System ◽  
Specification And Verification
Sign in / Sign up

Export Citation Format

Share Document