olemus
rakendustaseme turve keelepõhiste ja tarkvaratehniliste meetoditega
= the discipline of enforcing application-level security by means of programming-language and program-analysis techniques

ülevaateid
https://en.wikipedia.org/wiki/Language-based_security

https://www.cs.ru.nl/E.Poll/papers/language_based_security.pdf

https://hritcu.wordpress.com/tutoring/language-based-security/