A search-based framework for security protocol synthesis
A search-based framework for security protocol synthesis is a book. It was written by Hao Chen and published by University of York, Dept. of Computer Science in 2007.
Key facts
- author: Hao Chen
- publication date: 2007
- book publisher: University of York, Dept. of Computer Science
- book series: unknown
- book subjects: Computer security, Formal methods (Computer science), Cryptography
Extract data
Download datasets about A search-based framework for security protocol synthesis:
Dataset of books series that contain A search-based framework for security protocol synthesis:
Dataset of book subjects that contain A search-based framework for security protocol synthesis:
"A search-based framework for security protocol synthesis" is one of the books by Hao Chen, books by University of York, Dept. of Computer Science and 2,617,384 books in our database.
Related
Connected or similar to A search-based framework for security protocol synthesis: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.