Analysing layered security protocols

Analysing layered security protocols

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkki:	Gibson-Robinson, T
Eará dahkkit:	Lowe, G
Materiálatiipa:	Oahppočájánas
Giella:	English
Almmustuhtton:	2013
Fáttát:	Computer security

Geahča maid

Analysing Layered Security Protocols
Dahkki: Gibson−Robinson, T
Almmustuhtton: (2013)

Using human interactive security protocols to secure payments
Dahkki: Chen, B
Almmustuhtton: (2012)

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

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

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

Usability and security of human-interactive security protocols
Dahkki: Kainda, R
Almmustuhtton: (2011)

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

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

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

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

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

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

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

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

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

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

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

Software security : building security in /
Dahkki: McGraw, Gary, 1966-
Almmustuhtton: (c200)

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

Security of Certificate Transparency
Dahkki: Cohn-Gordon, K
Almmustuhtton: (2015)

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

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

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

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

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

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

Multi-channel security protocols in personal networks
Dahkki: Huang, X
Almmustuhtton: (2014)

Stereoscopic cyber security visualisations
Dahkki: van Rensburg, A
Almmustuhtton: (2015)

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

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

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

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

Computer security /
Dahkki: 197865 Gollmann, Dieter
Almmustuhtton: (1999)

Computer security /
Dahkki: 197865 Gollmann, Dieter
Almmustuhtton: (2011)

Computer security /
Dahkki: 197865 Gollmann, Dieter
Almmustuhtton: (2006)

Computer security /
Dahkki: 343942 Roberts, D. W.
Almmustuhtton: (1990)

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

Safety to security in emerging ubiquitous computing models
Dahkki: Osborn, E
Almmustuhtton: (2015)

Static Protocols and Deniability
Dahkki: Cohn-Gordon, K
Almmustuhtton: (2015)

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