Analysing layered security protocols

Analysing layered security protocols

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Yazar:	Gibson-Robinson, T
Diğer Yazarlar:	Lowe, G
Materyal Türü:	Tez
Dil:	English
Baskı/Yayın Bilgisi:	2013
Konular:	Computer security

Benzer Materyaller

Analysing Layered Security Protocols
Yazar:: Gibson−Robinson, T
Baskı/Yayın Bilgisi: (2013)

Using human interactive security protocols to secure payments
Yazar:: Chen, B
Baskı/Yayın Bilgisi: (2012)

On the specification and analysis of secure transport layers
Yazar:: Dilloway, C
Baskı/Yayın Bilgisi: (2008)

Security layer on top of the node operating system to secure active network /
Yazar:: 350098 Satria Mandala, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Physical-layer security : from information theory to security engineering /
Yazar:: Bloch, Matthieu, 1981- 539706, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Usability and security of human-interactive security protocols
Yazar:: Kainda, R
Baskı/Yayın Bilgisi: (2011)

On the security of electric vehicles: a physical-layer perspective
Yazar:: Kohler, S
Baskı/Yayın Bilgisi: (2022)

Dynamic Tags for Security Protocols
Yazar:: Myrto Arapinis, ve diğerleri
Baskı/Yayın Bilgisi: (2014-06-01)

Security 2020 : reduce security risks this decade /
Yazar:: 519663 Howard, Doug, ve diğerleri
Baskı/Yayın Bilgisi: (c201)

Analysing Applications Layered on Unilaterally Authenticating Protocols.
Yazar:: Gibson-Robinson, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
Yazar:: Gibson−Robinson, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
Yazar:: Gibson−Robinson, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Information security cost management /
Yazar:: 278932 Bazavan, Ioana V., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

COMPUTER SECURITY AND SECURITY TECHNOLOGIES
Yazar:: Lazar Stošić, ve diğerleri
Baskı/Yayın Bilgisi: (2013-01-01)

A Quantum Protocol for Secure Manhattan Distance Computation
Yazar:: Wen Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Secure “Ratio” Computation and Efficient Protocol for General Secure Two-Party Comparison
Yazar:: Linming Gong, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Analysing information security threats in healthcare information systems using survival analysis method /
Yazar:: Ganthan Narayana Samy, 1977-, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Software security : building security in /
Yazar:: McGraw, Gary, 1966-
Baskı/Yayın Bilgisi: (c200)

Hands-on information security lab manual /
Yazar:: Whitman, Michael E., 1964-, author, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Security of Certificate Transparency
Yazar:: Cohn-Gordon, K
Baskı/Yayın Bilgisi: (2015)

Core software security : security at the source /
Yazar:: Ransome, James F., author, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Software security [electronic resource] : building security in /
Yazar:: McGraw, Gary, 1966-
Baskı/Yayın Bilgisi: (c200)

GUC-secure protocol for private relational join operator computing
Yazar:: Yuan TIAN, ve diğerleri
Baskı/Yayın Bilgisi: (2014-11-01)

GUC-secure protocol for private relational join operator computing
Yazar:: Yuan TIAN, ve diğerleri
Baskı/Yayın Bilgisi: (2014-11-01)

Analysing information security threats in healthcare information system using survival analysis method [electronic resource] /
Yazar:: Ganthan Narayana Samy, 1977-
Baskı/Yayın Bilgisi: (2012)

A Mechanism for Securing IoT-enabled Applications at the Fog Layer
Yazar:: Nadeem Abbas, ve diğerleri
Baskı/Yayın Bilgisi: (2019-02-01)

Multi-channel security protocols in personal networks
Yazar:: Huang, X
Baskı/Yayın Bilgisi: (2014)

Stereoscopic cyber security visualisations
Yazar:: van Rensburg, A
Baskı/Yayın Bilgisi: (2015)

Security+ guide to networking security fundamentals /
Yazar:: 255449 Ciampa, Mark
Baskı/Yayın Bilgisi: (2005)

Security monitoring with Cisco security MARS /
Yazar:: 228938 Halleen, Gary, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Security+ guide to network security fundamentals /
Yazar:: 255449 Ciampa, Mark
Baskı/Yayın Bilgisi: (2009)

Hardware-based computer security : from biometrics to quantum cryptography /
Yazar:: 189142 Dube, Roger R.
Baskı/Yayın Bilgisi: (2008)

Computer security /
Yazar:: 197865 Gollmann, Dieter
Baskı/Yayın Bilgisi: (1999)

Computer security /
Yazar:: 197865 Gollmann, Dieter
Baskı/Yayın Bilgisi: (2011)

Computer security /
Yazar:: 197865 Gollmann, Dieter
Baskı/Yayın Bilgisi: (2006)

Computer security /
Yazar:: 343942 Roberts, D. W.
Baskı/Yayın Bilgisi: (1990)

Safety to security in emerging ubiquitous computing models
Yazar:: Osborn, E
Baskı/Yayın Bilgisi: (2015)

Static Protocols and Deniability
Yazar:: Cohn-Gordon, K
Baskı/Yayın Bilgisi: (2015)

A two‐layer attack‐robust protocol for IoT healthcare security
Yazar:: Sharafi Afsaneh, ve diğerleri
Baskı/Yayın Bilgisi: (2021-12-01)

Advances in intelligence and security informatics /
Yazar:: Mao, Wenji 537691, ve diğerleri
Baskı/Yayın Bilgisi: (2012)