A search-based framework for security protocol synthesis
Book
All
Business
Culture
Environment
Health
Politics
Research
Key facts
- Author: Hao Chen
- Bnb id: GBA860834
- Language: eng
- Publication date: 2007
- book publisher: University of York, Dept. of Computer Science
- Book subject: Computer security, Formal methods (Computer science), Cryptography, Computers-Access control
Latest news
Sorry there is no related news yet.
Visualizations
Datasets
rows
Book series where Book equals A search-based framework for security protocol synthesis
rows
Book subjects where Book equals A search-based framework for security protocol synthesis
rows
Books by Hao Chen
rows
Books where book publisher is University of York, Dept. of Computer Science
rows
Books called A search-based framework for security protocol synthesis
Source
Updated: 85 days ago