Name
Abstract | ||
|---|---|---|
•We develop the theory of atomistic Galois insertions to link abstract security policies with the results of static analyses.•We use this to impose a content dependent information flow policy on a concurrent language with polyadic synchronous communication and local storage.•The running example illustrates the approach on a multiplexer–demultiplexer scenario originating from avionics.•We establish semantic soundness through an instrumented semantics dealing with explicit and implicit information flow. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.cl.2017.06.004 | Computer Languages, Systems & Structures |
Keywords | Field | DocType |
Abstract interpretation,Security policy,Information flow | Asynchronous communication,Information flow (information theory),User assistance,Programming language,Computer science,Abstract interpretation,Static analysis,Automation,Theoretical computer science,Software,Security policy,Distributed computing | Journal |
Volume | Issue | ISSN |
50 | C | 1477-8424 |
Citations | PageRank | References |
0 | 0.34 | 20 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| flemming nielson | 1 | 1769 | 172.05 |
| Hanne Riis Nielson | 2 | 1719 | 153.77 |