Analysing layered security protocols

Analysing layered security protocols

Εμφάνιση άλλων εκδόσεων (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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gibson-Robinson, T
Άλλοι συγγραφείς:	Lowe, G
Μορφή:	Thesis
Γλώσσα:	English
Έκδοση:	2013
Θέματα:	Computer security

Παρόμοια τεκμήρια

Analysing Layered Security Protocols
ανά: Gibson−Robinson, T
Έκδοση: (2013)

Using human interactive security protocols to secure payments
ανά: Chen, B
Έκδοση: (2012)

On the specification and analysis of secure transport layers
ανά: Dilloway, C
Έκδοση: (2008)

Security layer on top of the node operating system to secure active network /
ανά: 350098 Satria Mandala, κ.ά.
Έκδοση: (2007)

Physical-layer security : from information theory to security engineering /
ανά: Bloch, Matthieu, 1981- 539706, κ.ά.
Έκδοση: (2011)

Usability and security of human-interactive security protocols
ανά: Kainda, R
Έκδοση: (2011)

On the security of electric vehicles: a physical-layer perspective
ανά: Kohler, S
Έκδοση: (2022)

Dynamic Tags for Security Protocols
ανά: Myrto Arapinis, κ.ά.
Έκδοση: (2014-06-01)

Analysing Applications Layered on Unilaterally Authenticating Protocols.
ανά: Gibson-Robinson, T, κ.ά.
Έκδοση: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
ανά: Gibson−Robinson, T, κ.ά.
Έκδοση: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
ανά: Gibson−Robinson, T, κ.ά.
Έκδοση: (2011)

Security 2020 : reduce security risks this decade /
ανά: 519663 Howard, Doug, κ.ά.
Έκδοση: (c201)

Information security cost management /
ανά: 278932 Bazavan, Ioana V., κ.ά.
Έκδοση: (2007)

COMPUTER SECURITY AND SECURITY TECHNOLOGIES
ανά: Lazar Stošić, κ.ά.
Έκδοση: (2013-01-01)

A Quantum Protocol for Secure Manhattan Distance Computation
ανά: Wen Liu, κ.ά.
Έκδοση: (2020-01-01)

Secure “Ratio” Computation and Efficient Protocol for General Secure Two-Party Comparison
ανά: Linming Gong, κ.ά.
Έκδοση: (2018-01-01)

Analysing information security threats in healthcare information systems using survival analysis method /
ανά: Ganthan Narayana Samy, 1977-, κ.ά.
Έκδοση: (2012)

Software security : building security in /
ανά: McGraw, Gary, 1966-
Έκδοση: (c200)

Hands-on information security lab manual /
ανά: Whitman, Michael E., 1964-, author, κ.ά.
Έκδοση: (2014)

Security of Certificate Transparency
ανά: Cohn-Gordon, K
Έκδοση: (2015)

Core software security : security at the source /
ανά: Ransome, James F., author, κ.ά.
Έκδοση: (2014)

GUC-secure protocol for private relational join operator computing
ανά: Yuan TIAN, κ.ά.
Έκδοση: (2014-11-01)

GUC-secure protocol for private relational join operator computing
ανά: Yuan TIAN, κ.ά.
Έκδοση: (2014-11-01)

Software security [electronic resource] : building security in /
ανά: McGraw, Gary, 1966-
Έκδοση: (c200)

Analysing information security threats in healthcare information system using survival analysis method [electronic resource] /
ανά: Ganthan Narayana Samy, 1977-
Έκδοση: (2012)

A Mechanism for Securing IoT-enabled Applications at the Fog Layer
ανά: Nadeem Abbas, κ.ά.
Έκδοση: (2019-02-01)

Multi-channel security protocols in personal networks
ανά: Huang, X
Έκδοση: (2014)

Stereoscopic cyber security visualisations
ανά: van Rensburg, A
Έκδοση: (2015)

Hardware-based computer security : from biometrics to quantum cryptography /
ανά: 189142 Dube, Roger R.
Έκδοση: (2008)

Security+ guide to networking security fundamentals /
ανά: 255449 Ciampa, Mark
Έκδοση: (2005)

Security monitoring with Cisco security MARS /
ανά: 228938 Halleen, Gary, κ.ά.
Έκδοση: (2007)

Security+ guide to network security fundamentals /
ανά: 255449 Ciampa, Mark
Έκδοση: (2009)

Computer security /
ανά: 197865 Gollmann, Dieter
Έκδοση: (1999)

Computer security /
ανά: 197865 Gollmann, Dieter
Έκδοση: (2011)

Computer security /
ανά: 197865 Gollmann, Dieter
Έκδοση: (2006)

Computer security /
ανά: 343942 Roberts, D. W.
Έκδοση: (1990)

A two‐layer attack‐robust protocol for IoT healthcare security
ανά: Sharafi Afsaneh, κ.ά.
Έκδοση: (2021-12-01)

Static Protocols and Deniability
ανά: Cohn-Gordon, K
Έκδοση: (2015)

Safety to security in emerging ubiquitous computing models
ανά: Osborn, E
Έκδοση: (2015)

Advances in intelligence and security informatics /
ανά: Mao, Wenji 537691, κ.ά.
Έκδοση: (2012)