language-theoretic security
keelturve
olemus
tärkav infoturbe valdkond kahjurkoodi vältimiseks tarkvaras,
käsitleb koodimustreid ja andmevorminguid
keelte ja nende grammatikatena
=
applying linguistic approach aimed to create secure software:
treating the code patterns and data formats as languages and their grammars
ülevaateid
https://www.cs.dartmouth.edu/~sergey/langsec/
https://www.owasp.org/images/4/42/OWASPBNL_LangSec_meets_state_machines.pdf
https://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf
http://langsec.org/papers/langsec-tr.pdf
https://medium.com/grandcentrix/langsec-in-software-development-1b92451d4764
http://archive.hack.lu/2015/crema-hacklu.pdf
veebisait
http://langsec.org/