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ć
2012 ◽  
Vol 462 ◽  
pp. 763-768
Author(s):  
Ya Sha Chen ◽  
Wei Jiang ◽  
Jun Hu ◽  
Jian Hua Liao

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.


2015 ◽  
Vol 50 (9) ◽  
pp. 289-301 ◽  
Author(s):  
Pablo Buiras ◽  
Dimitrios Vytiniotis ◽  
Alejandro Russo

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

1998 ◽  
Vol 1 (1) ◽  
pp. 26-65 ◽  
Author(s):  
Elisa Bertino ◽  
Sabrina De Capitani Di Vimercati ◽  
Elena Ferrari ◽  
Pierangela Samarati

1997 ◽  
Vol 9 (4) ◽  
pp. 524-538 ◽  
Author(s):  
P. Samarati ◽  
E. Bertino ◽  
A. Ciampichetti ◽  
S. Jajodia

Sign in / Sign up

Export Citation Format

Share Document