scholarly journals Information-Flow Control for Programming on Encrypted Data

2012 ◽  
Author(s):  
John C. Mitchell ◽  
Rahul Sharma ◽  
Deian Stefan ◽  
Joe Zimmerman
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control ◽  
Encrypted Data

HLIO: mixing static and dynamic typing for information-flow control in Haskell

2015 ◽  
Vol 50 (9) ◽  
pp. 289-301 ◽  
Author(s):  
Pablo Buiras ◽  
Dimitrios Vytiniotis ◽  
Alejandro Russo
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control ◽  
Dynamic Typing

scholarly journals Tenant-Led Ciphertext Information Flow Control for Cloud Virtual Machines

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 15156-15169
Author(s):  
Zhao Zhang ◽  
Zhi Yang ◽  
Xuehui Du ◽  
Wenfa Li ◽  
Xingyuan Chen ◽  
...  
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Virtual Machines ◽  
Information Flow Control

Exception-based information flow control in object-oriented systems

1998 ◽  
Vol 1 (1) ◽  
pp. 26-65 ◽  
Author(s):  
Elisa Bertino ◽  
Sabrina De Capitani Di Vimercati ◽  
Elena Ferrari ◽  
Pierangela Samarati
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Information flow control in object-oriented systems

1997 ◽  
Vol 9 (4) ◽  
pp. 524-538 ◽  
Author(s):  
P. Samarati ◽  
E. Bertino ◽  
A. Ciampichetti ◽  
S. Jajodia
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Role-Based Information Flow Control Models

2014 ◽  
Author(s):  
Shigenari Nakamura ◽  
Dilewaer Doulikun ◽  
Ailixier Aikebaier ◽  
Tomoya Enokido ◽  
Makoto Takizawa
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control ◽  
Control Models ◽  
Role Based
Sign in / Sign up

Export Citation Format

Share Document