Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
Iranmanesh, Zeinab, Fallah, Mehran S.Volume:
46
Language:
english
Journal:
Computer Languages, Systems & Structures
DOI:
10.1016/j.cl.2016.05.003
Date:
November, 2016
File:
PDF, 2.35 MB
english, 2016