On the public citation graph

Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

https://doi.org/10.1007/10722599
0 signed · 58 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 points at this work

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

inferred← citeshttps://doi.org/10.1007/11423348_15openalex-snapshot
Shedding Light on Haunted Corners of Information Security
inferred← citeshttps://doi.org/10.1007/11496199_28openalex-snapshot
Constructing Correlations in Attack Connection Chains Using Active Perturbation
inferred← citeshttps://doi.org/10.1007/11506676_6openalex-snapshot
Unwinding Conditions for Security in Imperative Languages
inferred← citeshttps://doi.org/10.1007/11533733_8openalex-snapshot
Modeling Public Key Infrastructures in the Real World
inferred← citeshttps://doi.org/10.1007/11539452_18openalex-snapshot
Timed Spi-Calculus with Types for Secrecy and Authenticity
inferred← citeshttps://doi.org/10.1007/11560326_13openalex-snapshot
Safety Problems in Access Control with Temporal Constraints
inferred← citeshttps://doi.org/10.1007/11560647_25openalex-snapshot
Representation and Reasoning on RBAC: A Description Logic Approach
inferred← citeshttps://doi.org/10.1007/11589976_15openalex-snapshot
Embedding the Stable Failures Model of CSP in PVS
inferred← citeshttps://doi.org/10.1007/11734666_14openalex-snapshot
Securing Information Gateways with Derivation-Constrained Access Control
inferred← citeshttps://doi.org/10.1007/11841883_4openalex-snapshot
Sesqui-Pushout Rewriting
inferred← citeshttps://doi.org/10.1007/11875567_14openalex-snapshot
Towards Filtering and Alerting Rule Rewriting on Single-Component Policies
inferred← citeshttps://doi.org/10.1007/11935308_21openalex-snapshot
An Independent Function-Parallel Firewall Architecture for High-Speed Networks (Short Paper)
inferred← citeshttps://doi.org/10.1007/3-540-36084-0_12openalex-snapshot
Attacks against Computer Network: Formal Grammar-Based Framework and Simulation Tool
inferred← citeshttps://doi.org/10.1007/3-540-45744-5_2openalex-snapshot
SET Cardholder Registration: The Secrecy Proofs
inferred← citeshttps://doi.org/10.1007/978-3-319-07650-8_15openalex-snapshot
Communication Security Prognosis Realized as the Parallel Dynamic Auditing Intelligent System
inferred← citeshttps://doi.org/10.1007/978-3-319-10506-2_17openalex-snapshot
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet
inferred← citeshttps://doi.org/10.1007/978-3-319-11119-3_29openalex-snapshot
A General Framework of Nonleakage-Based Authentication Using CSP for the Internet of Things
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_20openalex-snapshot
TAuth: Verifying Timed Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-24730-2_27openalex-snapshot
Automatic Verification of Time Sensitive Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-30108-0_14openalex-snapshot
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage
inferred← citeshttps://doi.org/10.1007/978-3-540-30191-2_5openalex-snapshot
Robust Metering Schemes for General Access Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-30501-9_124openalex-snapshot
Matching Connection Pairs
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_26openalex-snapshot
Exploiting Generic Aspects of Security Models in Formal Developments
inferred← citeshttps://doi.org/10.1007/978-3-540-39871-4_17openalex-snapshot
Delegation of Signalling Rights
inferred← citeshttps://doi.org/10.1007/978-3-540-39881-3_11openalex-snapshot
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_6openalex-snapshot
Facets of Security
inferred← citeshttps://doi.org/10.1007/978-3-540-45184-6_9openalex-snapshot
A Security Scheme for Mobile Agent Platforms in Large-Scale Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71410-1_8openalex-snapshot
Combining Different Proof Techniques for Verifying Information Flow Security
inferred← citeshttps://doi.org/10.1007/978-3-540-73408-6_1openalex-snapshot
Authorization Architectures for Privacy-Respecting Surveillance
inferred← citeshttps://doi.org/10.1007/978-3-540-73814-5_18openalex-snapshot
Constraints Solution for Time Sensitive Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-74128-2_10openalex-snapshot
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-74472-6_41openalex-snapshot
Modeling of the Role-Based Access Control Policy with Constraints Using Description Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-77156-2_2openalex-snapshot
Experiences with Host-to-Host IPsec
inferred← citeshttps://doi.org/10.1007/978-3-540-87403-4_4openalex-snapshot
A First Step towards Live Botmaster Traceback
inferred← citeshttps://doi.org/10.1007/978-3-540-89862-7_2openalex-snapshot
On the Decidability of Model-Checking Information Flow Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-03359-9_1openalex-snapshot
Let’s Get Physical: Models and Methods for Real-World Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-03829-7_5openalex-snapshot
Logic in Access Control (Tutorial Notes)
inferred← citeshttps://doi.org/10.1007/978-3-642-12368-9_16openalex-snapshot
Can We Support Applications’ Evolution in Multi-application Smart Cards by Security-by-Contract?
inferred← citeshttps://doi.org/10.1007/978-3-642-12510-2_5openalex-snapshot
Designing a Side Channel Resistant Random Number Generator
inferred← citeshttps://doi.org/10.1007/978-3-642-14577-3_7openalex-snapshot
Implementing a High-Assurance Smart-Card OS
inferred← citeshttps://doi.org/10.1007/978-3-642-14944-3_6openalex-snapshot
CFCC: A Covert Flows Confinement Mechanism for Virtual Machine Coalitions
inferred← citeshttps://doi.org/10.1007/978-3-642-23822-2_15openalex-snapshot
Socially Constructed Trust for Distributed Authorization
inferred← citeshttps://doi.org/10.1007/978-3-642-25560-1_17openalex-snapshot
Load Time Security Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-27937-9_13openalex-snapshot
Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot
Security Protocol Verification: Symbolic and Computational Models
inferred← citeshttps://doi.org/10.1007/978-3-642-30065-3_14openalex-snapshot
Conditional Information Flow Policies and Unwinding Relations
inferred← citeshttps://doi.org/10.1007/978-3-642-30947-2_37openalex-snapshot
Modeling Secure Mobile Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-36563-8_7openalex-snapshot
Towards Verifying Voter Privacy through Unlinkability
inferred← citeshttps://doi.org/10.1007/978-3-642-39077-7_11openalex-snapshot
The Need for Flow Fingerprints to Link Correlated Network Flows
inferred← citeshttps://doi.org/10.1007/978-3-642-39866-7_4openalex-snapshot
MDA-Based Approach for Implementing Secure Mobile Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40615-7_7openalex-snapshot
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract
inferred← citeshttps://doi.org/10.1007/978-3-642-40925-7_25openalex-snapshot
Using Backward Induction Techniques in (Timed) Security Protocols Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-41687-3_15openalex-snapshot
The System Conception of Investigation of the Communication Security Level in Networks
inferred← citeshttps://doi.org/10.1016/j.cose.2014.03.013openalex-snapshot
Survey of certificate usage in distributed access control
inferred← citeshttps://doi.org/10.1016/j.jisa.2018.01.007openalex-snapshot
A comparative study of card-not-present e-commerce architectures with card schemes: What about privacy?
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103113openalex-snapshot
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving
inferred← citeshttps://doi.org/10.1145/2046707.2046727openalex-snapshot
Automatic error finding in access-control policies
inferred← citeshttps://doi.org/10.1145/586110.586113openalex-snapshot
The verification of an industrial payment protocol
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.