Lesson Open Access
Practical materials for formal methods in security
Lester, Martin Mariusz
This archive contains materials (software, lab manuals, slides, solutions) for two practical exercises on use of formal methods in security:
* Known Plaintext Attack on a Stream Cipher using a SAT Solver
* An Information Flow Control Type System
Both practical exercises are available in a short version and a longer, more detailed version.
These practical exercises were developed to support the Cyber Security Body Of Knowledge (CyBOK), in particular the Formal Methods in Security knowledge area introduced in CyBOK 1.1.
Files
(30.3 MB)
| Name | Size | |
|---|---|---|
|
cybok-practicals-1.0.0.zip
md5:21b0ebc734378089bdea7ca32e5243de |
30.3 MB | Download |
137
15
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 137 | 137 |
| Downloads | 15 | 15 |
| Data volume | 454.0 MB | 454.0 MB |
| Unique views | 127 | 127 |
| Unique downloads | 15 | 15 |
Indexed in
- Publication date:
- August 16, 2022
- DOI:
-
- Keyword(s):
- CyBOK SAT stream ciphers information flow control noninterference Coq
- License (for files):
- Other (Attribution)