scholarly journals Sensor Network Information Flow Control Method with Static Coordinator within Internet of Things in Smart House Environment

2017 ◽  
Vol 104 ◽  
pp. 385-392 ◽  
Author(s):  
Aleksejs Jurenoks ◽  
Dejan Jokić
Keyword(s):  
Internet Of Things ◽  
Flow Control ◽  
Sensor Network ◽  
Information Flow ◽  
Control Method ◽  
Information Flow Control ◽  
Network Information ◽  
Smart House

Decentralized Information Flow Controlled Method Based on Trusted Pipe

2012 ◽  
Vol 462 ◽  
pp. 763-768
Author(s):  
Ya Sha Chen ◽  
Wei Jiang ◽  
Jun Hu ◽  
Jian Hua Liao
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Control Method ◽  
Security Mechanism ◽  
Information Flow Control ◽  
Operation System ◽  
Standard Definition ◽  
Application Security ◽  
Sequential Processes ◽  
Definition Of

To solve the problems derived from isolation of application security mechanism and operation system security mechanism, firstly we propose the concept of trusted pipe, which can be used to achieve a uniform security mechanism, and then formally describe the information flow control method in the Communicating Sequential Processes（CSP）. Finally we prove that the model fits a standard definition of non-interference.

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

Export Citation Format

Share Document