On the public citation graph

Information flow in a distributed security setting

https://doi.org/10.2139/ssrn.6416113
0 signed · 39 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1006/inco.2001.3089openalex-snapshot
Resource Access Control in Systems of Mobile Agents
inferredcites →https://doi.org/10.1007/11693024_13openalex-snapshot
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
inferredcites →https://doi.org/10.1007/3-540-47959-7_3openalex-snapshot
Seal: A Framework for Secure Mobile Computations
inferredcites →https://doi.org/10.1007/3-540-63383-9_92openalex-snapshot
An asynchronous model of locality, failure, and process mobility
inferredcites →https://doi.org/10.1007/978-3-540-31794-4_11openalex-snapshot
A Generic Membrane Model (Note)
inferredcites →https://doi.org/10.1007/978-3-540-73986-9_7openalex-snapshot
Access Control and Declassification
inferredcites →https://doi.org/10.1007/978-3-642-12459-4_10openalex-snapshot
Secure Information Flow for Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-642-19718-5_12openalex-snapshot
Compiling Information-Flow Security to Minimal Trusted Computing Bases
inferredcites →https://doi.org/10.1007/978-3-642-40787-1_2openalex-snapshot
Informative Types and Effects for Hybrid Migration Control
inferredcites →https://doi.org/10.1007/978-3-662-46666-7_3openalex-snapshot
Very Static Enforcement of Dynamic Policies
inferredcites →https://doi.org/10.1007/bfb0053547openalex-snapshot
Mobile ambients
inferredcites →https://doi.org/10.1007/s00236-005-0178-yopenalex-snapshot
safeDpi: a language for controlling mobile code
inferredcites →https://doi.org/10.1007/s10207-007-0019-9openalex-snapshot
Dynamic security labels and static information flow control
inferredcites →https://doi.org/10.1016/j.jlamp.2022.100761openalex-snapshot
Secure information flow connections
inferredcites →https://doi.org/10.1016/s0304-3975(02)00010-5openalex-snapshot
Noninterference for concurrent programs and thread systems
inferredcites →https://doi.org/10.1109/csf.2009.22openalex-snapshot
Tight Enforcement of Information-Release Policies for Dynamic Languages
inferredcites →https://doi.org/10.1109/csf.2011.17openalex-snapshot
Static Analysis for Efficient Hybrid Information-Flow Control
inferredcites →https://doi.org/10.1109/csf.2015.42openalex-snapshot
Flow-Limited Authorization
inferredcites →https://doi.org/10.1109/csf.2019.00028openalex-snapshot
Information Flow Control for Distributed Trusted Execution Environments
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1145/1040305.1040319openalex-snapshot
Downgrading policies and relaxed noninterference
inferredcites →https://doi.org/10.1145/1134744.1134757openalex-snapshot
Trusted declassification:
inferredcites →https://doi.org/10.1145/1706299.1706349openalex-snapshot
Paralocks
inferredcites →https://doi.org/10.1145/292540.292561openalex-snapshot
JFlow
inferredcites →https://doi.org/10.1145/325694.325741openalex-snapshot
Controlling interference in ambients
inferredcites →https://doi.org/10.1145/359636.359712openalex-snapshot
Certification of programs for secure information flow
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/363516.363526openalex-snapshot
Protecting privacy using the decentralized label model
inferredcites →https://doi.org/10.1145/566340.566343openalex-snapshot
Secure program partitioning
inferredcites →https://doi.org/10.1145/640128.604136openalex-snapshot
The m-calculus
inferredcites →https://doi.org/10.1145/96709.96748openalex-snapshot
Deciding ML typability is complete for deterministic exponential time
inferredcites →https://doi.org/10.3233/jcs-15805openalex-snapshot
Fabric: Building open distributed systems securely by construction
inferredcites →https://doi.org/10.3233/jcs-1994/1995-3103openalex-snapshot
A Classification of Security Properties for Process Algebras1
inferredcites →https://doi.org/10.3233/jcs-2003-11406openalex-snapshot
A unifying approach to the security of distributed and multi-threaded programs1
inferredcites →https://doi.org/10.3233/jcs-2006-14203openalex-snapshot
Enforcing Robust Declassification and Qualified Robustness
inferredcites →https://doi.org/10.3233/jcs-2009-0355openalex-snapshot
On declassification and the non-disclosure policy

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.26599/tst.2021.9010029openalex-snapshot
Dataflow Management in the Internet of Things: Sensing, Control, and Security
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.