Name
Abstract | ||
|---|---|---|
Information flow control extends access control by not only regulating who is allowed to access what data but also the subsequent use of the data. Applications within communications systems require such information flow control to be dependent on the actual contents of the data. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.jlamp.2016.09.005 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Information flow control,Content-dependent policies,Type systems,Hoare logic,Instrumented semantics,Non-interference | Information flow (information theory),Asynchronous communication,Operational semantics,Data domain,Programming language,Computer science,Hoare logic,Communications system,Access control,Soundness,Distributed computing | Journal |
Volume | Issue | ISSN |
87 | 1 | 2352-2208 |
Citations | PageRank | References |
2 | 0.36 | 17 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hanne Riis Nielson | 1 | 1719 | 153.77 |
| flemming nielson | 2 | 1769 | 172.05 |