security type system
turvatüübisüsteem
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