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
フォーマット:	学位論文
言語:	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)