DocumentCode :
3195600
Title :
A generic approach to the security of multi-threaded programs
Author :
Mantel, Heiko ; Sabelfeld, Andrei
Author_Institution :
German Research Center for Artificial Intelligence
fYear :
2001
fDate :
2001
Firstpage :
126
Lastpage :
142
Keywords :
Artificial intelligence; Calculus; Communication system security; Computer languages; Concrete; Data security; Electronic mail; Information security; Internet; Natural languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
ISSN :
1063-6900
Print_ISBN :
0-7695-1147-3
Type :
conf
DOI :
10.1109/CSFW.2001.930142
Filename :
930142
Link To Document :
بازگشت