scholarly journals The TAMARIN Prover for the Symbolic Analysis of Security Protocols

2013 ◽  
pp. 696-701 ◽  
Author(s):  
Simon Meier ◽  
Benedikt Schmidt ◽  
Cas Cremers ◽  
David Basin
Keyword(s):  
Security Protocols ◽  
Symbolic Analysis

scholarly journals A method for symbolic analysis of security protocols

2005 ◽  
Vol 338 (1-3) ◽  
pp. 393-425 ◽  
Author(s):  
Michele Boreale ◽  
Maria Grazia Buscemi
Keyword(s):  
Security Protocols ◽  
Symbolic Analysis

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.

Evaluation of Algorithms and Security Protocols to Mitigate the Risks in Commercial Transactions carried out by Public Companies

2020 ◽  
Author(s):  
Segundo Moises Toapanta Toapanta ◽  
Luis Enrique Mafla Gallegos ◽  
Alex Enrique Aranda Alvarado ◽  
Maximo Prado Solis
Keyword(s):  
Security Protocols ◽  
Public Companies

scholarly journals From Security Protocols to Pushdown Automata

2015 ◽  
Vol 17 (1) ◽  
pp. 1-45 ◽  
Author(s):  
Rémy Chrétien ◽  
Véronique Cortier ◽  
Stéphanie Delaune
Keyword(s):  
Security Protocols ◽  
Pushdown Automata

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

2021 ◽  
Vol 13 (4) ◽  
Author(s):  
Rocío Bernal-García ◽  
Felipe Gómez-Moreno ◽  
Francisco J. Serrano ◽  
César Heras ◽  
José Yravedra
Keyword(s):  
Symbolic Analysis ◽  
Funerary Rituals
Sign in / Sign up

Export Citation Format

Share Document