3 ms·
I was full time infosec from 1998 until 2015 then moved into an adjacent role that is still technically infosec but is more infrastructure/platform controls. T
by jcims 5y ago
I was full time infosec from 1998 until 2015 then moved into an adjacent role that is still technically infosec but is more infrastructure/platform controls. This is the first time i recall ever seeing the term.
Based on reading the two sentence synopsis in Google results it’s largely indistinguishable from the more familiar “formal methods” or “formal verification”.
- the-alt-one 5y agoKTH has a course called Language based security ( https://www.kth.se/student/kurser/kurs/DD2525?l=en https://www.kth.se/student/kurser/kurs/DD2525?l=en ) which indeed does come from people involved in formal methods. Formal methods is a huge area though, but in essence it's about establishing proofs of correctness.