Formal Models and Techniques for Analyzing Security Protocols

Mã QR

Formal Models and Techniques for Analyzing Security Protocols

Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Cortier, Véronique, Kremer, Steve
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35999
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Security Protocols
Được phát hành: (2020)

Security Protocols
Bỡi: Christianson, Bruce, et al.
Được phát hành: (2020)

Security protocols :
Được phát hành: (2005)

Formal Techniques for Distributed Systems
Được phát hành: (2020)

Microwave techniques and protocols
Được phát hành: (2001)

Security Protocols XXIV
Bỡi: Anderson, Jonathan, et al.
Được phát hành: (2020)

Security Protocols XXV
Bỡi: Stajano, Frank, et al.
Được phát hành: (2020)

Formal Techniques for Safety-Critical Systems
Bỡi: Artho, Cyrille, et al.
Được phát hành: (2020)

Secure Transaction Protocol Analysis
Được phát hành: (2020)

Protocols for secure electronic commerce
Bỡi: Sherif, Mostafa Hashem
Được phát hành: (2004)

Formal Techniques for Computer Systems and Business Processes
Bỡi: Bravetti, Mario, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Bouajjani, Ahmed, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Baier, Christel, et al.
Được phát hành: (2020)

Wireless Technology: Protocols, Standards, and Techniques
Bỡi: Yacoub, Michel Daoud
Được phát hành: (2011)

Wireless technology: Protocols, standards, and techniques
Bỡi: Michel Daoud Yacoub
Được phát hành: (2002)

Wireless technology: Protocols, standards, and techniques
Bỡi: Michel Daoud Yacoub
Được phát hành: (2002)

Formal Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2013)

Wireless Internet Security Architecture and Protocols
Bỡi: Kempf, James
Được phát hành: (2013)

Synchronizing Internet Protocol Security (SIPSec)
Bỡi: Shoniregun, Charles A.
Được phát hành: (2020)

Design and Analysis of Security Protocol for Communication
Bỡi: Goyal
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2005
Bỡi: Wang, Farn
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
Bỡi: Derrick, John, et al.
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
Bỡi: Suzuki, Kenji, et al.
Được phát hành: (2020)

Protocols for Secure Electronic Commerce, Second Edition
Bỡi: Hashem Sherif, Mostafa
Được phát hành: (2009)

Formal Modeling and Analysis of Timed Systems
Bỡi: Raskin, Jean-Francois, et al.
Được phát hành: (2020)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Formal Models of Operating System Kernels
Bỡi: Craig, Iain D.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Pettersson, Paul, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Polikarpova, Nadia, et al.
Được phát hành: (2020)

Formal Methods for Safety and Security. 1st ed. 2018
Bỡi: Nanda, Manju, et al.
Được phát hành: (2020)

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation
Bỡi: Ganapathi, Geetha, et al.
Được phát hành: (2020)

Secure Multi-Party Non-Repudiation Protocols and Applications
Bỡi: Onieva, José A., et al.
Được phát hành: (2020)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

Formal Methods and Stochastic Models for Performance Evaluation
Bỡi: Wolter, Katinka
Được phát hành: (2020)

Secure image retrieval based on visual content and watermarking protocol /

A secure key establishment protocol for zigbee wireless sensor networks /
Bỡi: Yuksel, Ender.

Provably secure key establishment protocol using one-way functions /
Bỡi: Saha, M.

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
Bỡi: Duch, Wlodzislaw, et al.
Được phát hành: (2020)