scholarly journals Addressing covert termination and timing channels in concurrent information flow systems

2012 ◽  
Author(s):  
Deian Stefan ◽  
Alejandro Russo ◽  
Pablo Buiras ◽  
Amit Levy ◽  
John C. Mitchell ◽  
...  
Keyword(s):  
Information Flow ◽  
Timing Channels ◽  
Flow Systems ◽  
Concurrent Information

scholarly journals Addressing covert termination and timing channels in concurrent information flow systems

2012 ◽  
Vol 47 (9) ◽  
pp. 201-214 ◽  
Author(s):  
Deian Stefan ◽  
Alejandro Russo ◽  
Pablo Buiras ◽  
Amit Levy ◽  
John C. Mitchell ◽  
...  
Keyword(s):  
Information Flow ◽  
Timing Channels ◽  
Flow Systems ◽  
Concurrent Information

scholarly journals A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

2014 ◽  
pp. 199-216 ◽  
Author(s):  
Pablo Buiras ◽  
Amit Levy ◽  
Deian Stefan ◽  
Alejandro Russo ◽  
David Mazières
Keyword(s):  
Information Flow ◽  
Flow Systems ◽  
Concurrent Information

scholarly journals A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

2014 ◽  
pp. 199-216 ◽  
Author(s):  
Pablo Buiras ◽  
Amit Levy ◽  
Deian Stefan ◽  
Alejandro Russo ◽  
David Mazières
Keyword(s):  
Information Flow ◽  
Flow Systems ◽  
Concurrent Information

Computer Supported Interactive Development of Information Flow Systems

1982 ◽  
pp. 744-749
Author(s):  
Roland Lindvall ◽  
Hans Karlsson ◽  
Olle Rosin ◽  
Ove Wigertz
Keyword(s):  
Information Flow ◽  
Flow Systems
Sign in / Sign up

Export Citation Format

Share Document