Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-11-8

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Journal of Computer Security

Open access

Research article

First published 2022-7

The State of the Sublime: Aesthetic Protocols and Global Security

Jonathan Luke Austin, Anna Leander

Millennium: Journal of International Studies

Retricted access

Research article

First published 2015-10

Modeling decoy state Quantum Key Distribution systems

L O Mailloux, R D Engle, M R Grimaila [...]

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2008-05

Seeing private security like a state

Daniel O'Connor, Randy Lippert, Dale Spencer [...]

Criminology & Criminal Justice

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1993-4-1

Optimality of Asynchronous Two-Party Secure Data-Exchange Protocols *

Raphael Yahalom

Journal of Computer Security

Retricted access

Research article

First published 2019-3-29

Secure authentication in the grid: A formal analysis of DNP3 SAv5

Cas Cremers, Martin Dehnel-Wild, Kevin Milner

Journal of Computer Security

Open access

Review article

First published 2013-5

New Trends in Secure Routing Protocols for Wireless Sensor Networks

Aly Mohamed El-Semary, Mohamed Mostafa Abdel-Azim

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2007-10

Verifying Security Protocols Modelled by Networks of Automata

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Search results