scholarly journals End-to-end Information Flow Security Model for Software-Defined Networks

2016 ◽  
Vol 22 (6) ◽  
pp. 735-749
Author(s):  
D. Ju. Chaly ◽  
E. S. Nikitin ◽  
E. Ju. Antoshina ◽  
V. A. Sokolov
Keyword(s):  
Information Flow ◽  
Software Defined Networks ◽  
Security Model ◽  
Information Flow Security ◽  
End To End

scholarly journals End-to-end verification of information-flow security for C and assembly programs

2016 ◽  
Vol 51 (6) ◽  
pp. 648-664 ◽  
Author(s):  
David Costanzo ◽  
Zhong Shao ◽  
Ronghui Gu
Keyword(s):  
Information Flow ◽  
Information Flow Security ◽  
End To End

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
Sign in / Sign up

Export Citation Format

Share Document