布罗伯格,尼克拉斯;桑德斯,大卫 Paralocks、基于角色的信息流控制等。(英语) Zbl 1312.68054 第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-60558-479-9)。431-444(2010年)。 引用于三文件 理学硕士: 68N30型 软件工程的数学方面(规范、验证、度量、需求等) 68M07型 计算机体系结构的数学问题 关键词:信息流;基于语言的安全性;安全策略 软件:典范 PDF格式 双歧杆菌 XML 引用 \textti{N.Broberg}和\texdit{D.Sands},in:ACM SIGPLAN-SIGACT第37届编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约,纽约:计算机机械协会(ACM)。431--444(2010年;Zbl 1312.68054) 全文: 内政部