Analysing layered security protocols

Analysing layered security protocols

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gibson-Robinson, T
Rannpháirtithe:	Lowe, G
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2013
Ábhair:	Computer security

Míreanna comhchosúla

Analysing Layered Security Protocols
de réir: Gibson−Robinson, T
Foilsithe / Cruthaithe: (2013)

Using human interactive security protocols to secure payments
de réir: Chen, B
Foilsithe / Cruthaithe: (2012)

On the specification and analysis of secure transport layers
de réir: Dilloway, C
Foilsithe / Cruthaithe: (2008)

Security layer on top of the node operating system to secure active network /
de réir: 350098 Satria Mandala, et al.
Foilsithe / Cruthaithe: (2007)

Physical-layer security : from information theory to security engineering /
de réir: Bloch, Matthieu, 1981- 539706, et al.
Foilsithe / Cruthaithe: (2011)

Usability and security of human-interactive security protocols
de réir: Kainda, R
Foilsithe / Cruthaithe: (2011)

On the security of electric vehicles: a physical-layer perspective
de réir: Kohler, S
Foilsithe / Cruthaithe: (2022)

Dynamic Tags for Security Protocols
de réir: Myrto Arapinis, et al.
Foilsithe / Cruthaithe: (2014-06-01)

Analysing Applications Layered on Unilaterally Authenticating Protocols.
de réir: Gibson-Robinson, T, et al.
Foilsithe / Cruthaithe: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
de réir: Gibson−Robinson, T, et al.
Foilsithe / Cruthaithe: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
de réir: Gibson−Robinson, T, et al.
Foilsithe / Cruthaithe: (2011)

Security 2020 : reduce security risks this decade /
de réir: 519663 Howard, Doug, et al.
Foilsithe / Cruthaithe: (c201)

Information security cost management /
de réir: 278932 Bazavan, Ioana V., et al.
Foilsithe / Cruthaithe: (2007)

COMPUTER SECURITY AND SECURITY TECHNOLOGIES
de réir: Lazar Stošić, et al.
Foilsithe / Cruthaithe: (2013-01-01)

A Quantum Protocol for Secure Manhattan Distance Computation
de réir: Wen Liu, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Secure “Ratio” Computation and Efficient Protocol for General Secure Two-Party Comparison
de réir: Linming Gong, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Analysing information security threats in healthcare information systems using survival analysis method /
de réir: Ganthan Narayana Samy, 1977-, et al.
Foilsithe / Cruthaithe: (2012)

Software security : building security in /
de réir: McGraw, Gary, 1966-
Foilsithe / Cruthaithe: (c200)

Hands-on information security lab manual /
de réir: Whitman, Michael E., 1964-, author, et al.
Foilsithe / Cruthaithe: (2014)

Security of Certificate Transparency
de réir: Cohn-Gordon, K
Foilsithe / Cruthaithe: (2015)

Core software security : security at the source /
de réir: Ransome, James F., author, et al.
Foilsithe / Cruthaithe: (2014)

GUC-secure protocol for private relational join operator computing
de réir: Yuan TIAN, et al.
Foilsithe / Cruthaithe: (2014-11-01)

GUC-secure protocol for private relational join operator computing
de réir: Yuan TIAN, et al.
Foilsithe / Cruthaithe: (2014-11-01)

Software security [electronic resource] : building security in /
de réir: McGraw, Gary, 1966-
Foilsithe / Cruthaithe: (c200)

Analysing information security threats in healthcare information system using survival analysis method [electronic resource] /
de réir: Ganthan Narayana Samy, 1977-
Foilsithe / Cruthaithe: (2012)

A Mechanism for Securing IoT-enabled Applications at the Fog Layer
de réir: Nadeem Abbas, et al.
Foilsithe / Cruthaithe: (2019-02-01)

Multi-channel security protocols in personal networks
de réir: Huang, X
Foilsithe / Cruthaithe: (2014)

Stereoscopic cyber security visualisations
de réir: van Rensburg, A
Foilsithe / Cruthaithe: (2015)

Hardware-based computer security : from biometrics to quantum cryptography /
de réir: 189142 Dube, Roger R.
Foilsithe / Cruthaithe: (2008)

Security+ guide to networking security fundamentals /
de réir: 255449 Ciampa, Mark
Foilsithe / Cruthaithe: (2005)

Security monitoring with Cisco security MARS /
de réir: 228938 Halleen, Gary, et al.
Foilsithe / Cruthaithe: (2007)

Security+ guide to network security fundamentals /
de réir: 255449 Ciampa, Mark
Foilsithe / Cruthaithe: (2009)

Computer security /
de réir: 197865 Gollmann, Dieter
Foilsithe / Cruthaithe: (1999)

Computer security /
de réir: 197865 Gollmann, Dieter
Foilsithe / Cruthaithe: (2011)

Computer security /
de réir: 197865 Gollmann, Dieter
Foilsithe / Cruthaithe: (2006)

Computer security /
de réir: 343942 Roberts, D. W.
Foilsithe / Cruthaithe: (1990)

A two‐layer attack‐robust protocol for IoT healthcare security
de réir: Sharafi Afsaneh, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Static Protocols and Deniability
de réir: Cohn-Gordon, K
Foilsithe / Cruthaithe: (2015)

Safety to security in emerging ubiquitous computing models
de réir: Osborn, E
Foilsithe / Cruthaithe: (2015)

Advances in intelligence and security informatics /
de réir: Mao, Wenji 537691, et al.
Foilsithe / Cruthaithe: (2012)