IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP

2010 Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI)

Author(s): Xian Zhang ; Yang Liu ; Auguston, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2010
Conference Location: Singapore, Singapore, Singapore
Conference Date: 9 June 2010
Page(s): 217 - 226
ISBN (CD): 978-0-7695-4086-3
ISBN (Electronic): 978-1-4244-7434-9
ISBN (Paper): 978-1-4244-7435-6
DOI: 10.1109/SSIRI.2010.29
Regular:

Security protocols are hard to design, even under the assumption of perfect cryptography. This is especially true when a protocol involves different timing aspects such as timestamps, timeout,... View More

Advertisement