Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
详细信息 查看全文
- 作者：Zeinab Iranmanesh
- 关键词：Covert channels ; Multithreaded object-oriented programming ; Scheduler-independent noninterference ; Security type systems
- 刊名：Computer Languages, Systems & Structures
- 出版年：2016
- 出版时间：November 2016
- 年：2016
- 卷：46
- 期：Complete
- 页码：20-43
- 全文大小：2411 K
文摘
- •
- <p id="p0005">We present a multithreaded model language for Java.p>
- •
- <p id="p0010">We introduce a timing channel that arises from dynamic dispatch in the presence of multithreading.p>
- •
- <p id="p0015">We propose a more permissive scheduler-independent noninterference property.p>
- •
- <p id="p0020">We present a security type system to enforce the proposed noninterference property.p>