The CyBOK team are currently working on developing a new knowledge area in Formal Methods in Security. Further details will be released in due course along with a call for public comments. Watch this space to find out more… !
25th June 2020
The CyBOK team are currently working on developing a new knowledge area in Formal Methods in Security. Further details will be released in due course along with a call for public comments. Watch this space to find out more… !