Progress-Sensitive Security for SPARK

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-319-30806-7_2 ◽

2016 ◽

pp. 20-37 ◽

Cited By ~ 4

Author(s):

Willard Rafnsson ◽

Deepak Garg ◽

Andrei Sabelfeld

Download Full-text