Skip to content

CyBOK Version 1.1 including all 21 knowledge areas is available to download. Read more about CyBOK 1.1

Home
About CyBOK
Knowledgebase
- CyBOK 1.1
- Supplementary Guides
News & Events
Practical Resources
Use cases
Contact Us

Formal Methods for Security Webinar

Formal Methods for Security Knowledge Area

Previous: Network Security KA Webinar

Next: Formal Methods with David Basin

Home
About CyBOK
Knowledgebase
News & Events
Practical Resources
Use cases
Contact Us

The CyBOK project aims to bring cyber security into line with the more established sciences by distilling knowledge from major internationally-recognised experts to form a Cyber Security Body of Knowledge that will provide much-needed foundations for this emerging topic.

Website by GWS Media