olemus
üks keelepõhise turbe vahendeid, tüübireeglid programmi turvapoliitika täitmise tagamiseks
= one of the tools of language-based security, the type rules to ensure compliance with the program's security policy

ülevaateid
https://en.wikipedia.org/wiki/Security_type_system

http://www.slideshare.net/akram-elkorashy/languagebased-informationflow-security

http://www.cs.cornell.edu/~kozen/papers/lbs.pdf

http://www.cse.chalmers.se/~andrei/jsac.pdf