Analysing layered security protocols

Analysing layered security protocols

Show other versions (1)

<p>Many security protocols are built as the composition of an application-layer protocol and a secure transport protocol, such as TLS. There are many approaches to proving the correctness of such protocols. One popular approach is verification by abstraction, in which the correctness of the ap...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Gibson-Robinson, T
Awduron Eraill:	Lowe, G
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2013
Pynciau:	Computer security

Eitemau Tebyg

Analysing Layered Security Protocols
gan: Gibson−Robinson, T
Cyhoeddwyd: (2013)

Using human interactive security protocols to secure payments
gan: Chen, B
Cyhoeddwyd: (2012)

On the specification and analysis of secure transport layers
gan: Dilloway, C
Cyhoeddwyd: (2008)

Security layer on top of the node operating system to secure active network /
gan: 350098 Satria Mandala, et al.
Cyhoeddwyd: (2007)

Physical-layer security : from information theory to security engineering /
gan: Bloch, Matthieu, 1981- 539706, et al.
Cyhoeddwyd: (2011)

Usability and security of human-interactive security protocols
gan: Kainda, R
Cyhoeddwyd: (2011)

On the security of electric vehicles: a physical-layer perspective
gan: Kohler, S
Cyhoeddwyd: (2022)

Dynamic Tags for Security Protocols
gan: Myrto Arapinis, et al.
Cyhoeddwyd: (2014-06-01)

Analysing Applications Layered on Unilaterally Authenticating Protocols.
gan: Gibson-Robinson, T, et al.
Cyhoeddwyd: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
gan: Gibson−Robinson, T, et al.
Cyhoeddwyd: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
gan: Gibson−Robinson, T, et al.
Cyhoeddwyd: (2011)

Security 2020 : reduce security risks this decade /
gan: 519663 Howard, Doug, et al.
Cyhoeddwyd: (c201)

Information security cost management /
gan: 278932 Bazavan, Ioana V., et al.
Cyhoeddwyd: (2007)

COMPUTER SECURITY AND SECURITY TECHNOLOGIES
gan: Lazar Stošić, et al.
Cyhoeddwyd: (2013-01-01)

A Quantum Protocol for Secure Manhattan Distance Computation
gan: Wen Liu, et al.
Cyhoeddwyd: (2020-01-01)

Secure “Ratio” Computation and Efficient Protocol for General Secure Two-Party Comparison
gan: Linming Gong, et al.
Cyhoeddwyd: (2018-01-01)

Analysing information security threats in healthcare information systems using survival analysis method /
gan: Ganthan Narayana Samy, 1977-, et al.
Cyhoeddwyd: (2012)

Software security : building security in /
gan: McGraw, Gary, 1966-
Cyhoeddwyd: (c200)

Hands-on information security lab manual /
gan: Whitman, Michael E., 1964-, author, et al.
Cyhoeddwyd: (2014)

Security of Certificate Transparency
gan: Cohn-Gordon, K
Cyhoeddwyd: (2015)

Core software security : security at the source /
gan: Ransome, James F., author, et al.
Cyhoeddwyd: (2014)

GUC-secure protocol for private relational join operator computing
gan: Yuan TIAN, et al.
Cyhoeddwyd: (2014-11-01)

GUC-secure protocol for private relational join operator computing
gan: Yuan TIAN, et al.
Cyhoeddwyd: (2014-11-01)

Software security [electronic resource] : building security in /
gan: McGraw, Gary, 1966-
Cyhoeddwyd: (c200)

Analysing information security threats in healthcare information system using survival analysis method [electronic resource] /
gan: Ganthan Narayana Samy, 1977-
Cyhoeddwyd: (2012)

A Mechanism for Securing IoT-enabled Applications at the Fog Layer
gan: Nadeem Abbas, et al.
Cyhoeddwyd: (2019-02-01)

Multi-channel security protocols in personal networks
gan: Huang, X
Cyhoeddwyd: (2014)

Stereoscopic cyber security visualisations
gan: van Rensburg, A
Cyhoeddwyd: (2015)

Hardware-based computer security : from biometrics to quantum cryptography /
gan: 189142 Dube, Roger R.
Cyhoeddwyd: (2008)

Security+ guide to networking security fundamentals /
gan: 255449 Ciampa, Mark
Cyhoeddwyd: (2005)

Security monitoring with Cisco security MARS /
gan: 228938 Halleen, Gary, et al.
Cyhoeddwyd: (2007)

Security+ guide to network security fundamentals /
gan: 255449 Ciampa, Mark
Cyhoeddwyd: (2009)

Computer security /
gan: 197865 Gollmann, Dieter
Cyhoeddwyd: (1999)

Computer security /
gan: 197865 Gollmann, Dieter
Cyhoeddwyd: (2011)

Computer security /
gan: 197865 Gollmann, Dieter
Cyhoeddwyd: (2006)

Computer security /
gan: 343942 Roberts, D. W.
Cyhoeddwyd: (1990)

A two‐layer attack‐robust protocol for IoT healthcare security
gan: Sharafi Afsaneh, et al.
Cyhoeddwyd: (2021-12-01)

Static Protocols and Deniability
gan: Cohn-Gordon, K
Cyhoeddwyd: (2015)

Safety to security in emerging ubiquitous computing models
gan: Osborn, E
Cyhoeddwyd: (2015)

Advances in intelligence and security informatics /
gan: Mao, Wenji 537691, et al.
Cyhoeddwyd: (2012)