scholarly journals Compositional Information-Flow Security for Interactive Systems

2014 ◽  
Author(s):  
Willard Rafnsson ◽  
Andrei Sabelfeld
Keyword(s):  
Information Flow ◽  
Interactive Systems ◽  
Information Flow Security ◽  
Compositional Information

Compositional information flow security for concurrent programs

2007 ◽  
Vol 15 (3) ◽  
pp. 373-416 ◽  
Author(s):  
Annalisa Bossi ◽  
Carla Piazza ◽  
Sabina Rossi
Keyword(s):  
Information Flow ◽  
Concurrent Programs ◽  
Information Flow Security ◽  
Compositional Information

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

2011 ◽  
Vol 39 (3) ◽  
pp. 189-200 ◽  
Author(s):  
Mohit Tiwari ◽  
Jason K. Oberg ◽  
Xun Li ◽  
Jonathan Valamehr ◽  
Timothy Levin ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Security

Information-flow security for JavaScript and its APIs

2016 ◽  
Vol 24 (2) ◽  
pp. 181-234 ◽  
Author(s):  
Daniel Hedin ◽  
Luciano Bello ◽  
Andrei Sabelfeld
Keyword(s):  
Information Flow ◽  
Information Flow Security
Sign in / Sign up

Export Citation Format

Share Document