On the public citation graph

Non-interference with What-Declassification in Component-Based Systems

https://doi.org/10.1109/csf.2016.25
0 signed · 40 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.1007/3-540-45789-5_27openalex-snapshot
Static Confidentiality Enforcement for Distributed Programs
inferredcites →https://doi.org/10.1007/3-540-54430-5_110openalex-snapshot
A method for the development of totally correct shared-state parallel programs
inferredcites →https://doi.org/10.1007/978-3-319-14125-1_2openalex-snapshot
Information Flow in Object-Oriented Software
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_10openalex-snapshot
Information Flow Analysis in Logical Form
inferredcites →https://doi.org/10.1007/978-3-540-32004-3_20openalex-snapshot
A Theorem Proving Approach to Analysis of Secure Information Flow
inferredcites →https://doi.org/10.1007/978-3-642-01465-9_4openalex-snapshot
Non-Interference for Deterministic Interactive Programs
inferredcites →https://doi.org/10.1007/978-3-642-31762-0_15openalex-snapshot
Verification of Information Flow Properties of Java Programs without Approximations
inferredcites →https://doi.org/10.1007/s10207-009-0086-1openalex-snapshot
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
inferredcites →https://doi.org/10.1016/0304-3975(88)90033-3openalex-snapshot
A generalization of Owicki-Gries's Hoare logic for a concurrent while language
inferredcites →https://doi.org/10.1016/s0167-6423(99)00024-6openalex-snapshot
A semantic approach to secure information flow
inferredcites →https://doi.org/10.1023/a:1011553200337openalex-snapshot
A Per Model of Secure Information Flow in Sequential Programs
inferredcites →https://doi.org/10.1109/csf.2012.15openalex-snapshot
Securing Interactive Programs
inferredcites →https://doi.org/10.1109/csf.2013.10openalex-snapshot
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent
inferredcites →https://doi.org/10.1109/csf.2014.28openalex-snapshot
Stateful Declassification Policies for Event-Driven Programs
inferredcites →https://doi.org/10.1109/csfw.1997.596807openalex-snapshot
Eliminating covert flows with minimum typings
inferredcites →https://doi.org/10.1109/csfw.1999.779775openalex-snapshot
Process algebra and non-interference
inferredcites →https://doi.org/10.1109/csfw.2000.856936openalex-snapshot
Possibilistic definitions of security-an assembly kit
inferredcites →https://doi.org/10.1109/csfw.2002.1021826openalex-snapshot
A simple view of type-secure information flow in the π-calculus
inferredcites →https://doi.org/10.1109/csfw.2004.1310735openalex-snapshot
Secure information flow by self-composition
inferredcites →https://doi.org/10.1109/csfw.2004.17openalex-snapshot
Secure information flow by self-composition
inferredcites →https://doi.org/10.1109/csfw.2006.16openalex-snapshot
Information-Flow Security for Interactive Programs
inferredcites →https://doi.org/10.1109/risp.1990.63846openalex-snapshot
Information flow in nondeterministic systems
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1109/sp.2011.12openalex-snapshot
Verification of Information Flow and Access Control Policies with Dependent Types
inferredcites →https://doi.org/10.1145/1067625.806556openalex-snapshot
Information transmission in computational systems
inferredcites →https://doi.org/10.1145/1127878.1127884openalex-snapshot
Preliminary design of JML
inferredcites →https://doi.org/10.1145/69575.69577openalex-snapshot
Tentative steps toward a development method for interfering programs
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-2009-0352openalex-snapshot
Declassification: Dimensions and principles
inferredcites →https://doi.org/10.5445/ir/1000050695openalex-snapshot
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-03638-6_2openalex-snapshot
Tracking Information Flow via Delayed Output
inferred← citeshttps://doi.org/10.1007/978-3-030-32872-6_9openalex-snapshot
Compositionality of Component Fault Trees
inferred← citeshttps://doi.org/10.1007/978-3-319-66197-1_19openalex-snapshot
Modular Verification of Information Flow Security in Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-71237-6_3openalex-snapshot
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
inferred← citeshttps://doi.org/10.1007/s10817-020-09566-9openalex-snapshot
CoCon: A Conference Management System with Formally Verified Document Confidentiality
inferred← citeshttps://doi.org/10.1016/j.cola.2019.100904openalex-snapshot
Enforcing globally dependent flow policies in message-passing systems
inferred← citeshttps://doi.org/10.1109/sp.2017.24openalex-snapshot
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
inferred← citeshttps://doi.org/10.1145/3243734.3243841openalex-snapshot
If This Then What?
inferred← citeshttps://doi.org/10.1145/3691620.3695499openalex-snapshot
Compositional Security Analysis of Dynamic Component-based Systems
inferred← citeshttps://doi.org/10.15626/lud.497.2023openalex-snapshot
Design and Analysis of Self-protection: Adaptive Security for Software-Intensive Systems
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.