Title :
A generic approach to the security of multi-threaded programs
Author :
Mantel, Heiko ; Sabelfeld, Andrei
Author_Institution :
German Research Center for Artificial Intelligence
Keywords :
Artificial intelligence; Calculus; Communication system security; Computer languages; Concrete; Data security; Electronic mail; Information security; Internet; Natural languages;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930142