A Novel Policy and Information Flow Security Model for Active Network

Intelligence and Security Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25952-7_4 ◽

2004 ◽

pp. 42-55 ◽

Author(s):

Zhengyou Xia ◽

Yichuan Jiang ◽

Yiping Zhong ◽

Shiyong Zhang

Keyword(s):

Information Flow ◽

Active Network ◽

Security Model ◽

Information Flow Security

Download Full-text

An Information Flow Security Model to Trusted Computing System

The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007) ◽

10.1109/isdpe.2007.114 ◽

2007 ◽

Author(s):

Hu Jun ◽

Shen Changxiang

Keyword(s):

Information Flow ◽

Trusted Computing ◽

Computing System ◽

Security Model ◽

Information Flow Security

Download Full-text

Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model

2007 IEEE Symposium on Security and Privacy (SP '07) ◽

10.1109/sp.2007.10 ◽

2007 ◽

Author(s):

Marco Pistoia ◽

Anindya Banerjee ◽

David A. Naumann

Keyword(s):

Access Control ◽

Information Flow ◽

Security Model ◽

Information Flow Security

Download Full-text

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

Modeling and Analysis of Information Systems ◽

10.18255/1818-1015-2015-6-735-749 ◽

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 ◽

Download Full-text

An information flow security model for home area network of smart grid

2013 IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems ◽

10.1109/cyber.2013.6705489 ◽

2013 ◽

Author(s):

Jizhou Tong ◽

Weiqing Sun ◽

Lingfeng Wang

Keyword(s):

Information Flow ◽

Area Network ◽

Security Model ◽

Information Flow Security ◽

Home Area Network ◽

Download Full-text

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

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908100 ◽

2016 ◽

Author(s):

David Costanzo ◽

Zhong Shao ◽

Ronghui Gu

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Download Full-text

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

ACM SIGARCH Computer Architecture News ◽

10.1145/2024723.2000087 ◽

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

Download Full-text

A bottom-up approach to verifiable embedded system information flow security

IET Information Security ◽

10.1049/iet-ifs.2012.0342 ◽

2014 ◽

Vol 8 (1) ◽

pp. 12-17 ◽

Author(s):

Dejun Mu ◽

Bo Ma ◽

Baolei Mao ◽

Wei Hu

Keyword(s):

Embedded System ◽

Information Flow ◽

Bottom Up ◽

Information Flow Security ◽

System Information

Download Full-text

A Type System for Quantified Information-Flow Security in Java-Like Languages

2016 11th International Conference on Availability, Reliability and Security (ARES) ◽

10.1109/ares.2016.30 ◽

2016 ◽

Author(s):

Gohar Shakoori ◽

Mehran S. Fallah ◽

Zeinab Iranmanesh

Keyword(s):

Information Flow ◽

Type System ◽

Information Flow Security

Download Full-text

Specification of Information Flow Security Policies in Model-Based Systems Engineering

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04771-9_47 ◽

2018 ◽

pp. 617-632

Author(s):

Christopher Gerking

Keyword(s):

Information Flow ◽

Systems Engineering ◽

Security Policies ◽

Information Flow Security ◽

Model Based ◽

Model Based Systems Engineering

Download Full-text

Information-flow security for JavaScript and its APIs

Journal of Computer Security ◽

10.3233/jcs-160544 ◽

2016 ◽

Vol 24 (2) ◽

pp. 181-234 ◽

Author(s):

Daniel Hedin ◽

Luciano Bello ◽

Andrei Sabelfeld

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text