A bisimulation for dynamic sealing
DOI10.1016/J.TCS.2006.12.032zbMATH Open1111.68034OpenAlexW2096216741MaRDI QIDQ5899331FDOQ5899331
Authors: Eijiro Sumii, Benjamin C. Pierce 
Publication date: 11 May 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.032
Recommendations
- A bisimulation for dynamic sealing
- Hybrid Systems: Computation and Control
- Bisimulation for Feller-Dynkin processes
- An Incremental Bisimulation Algorithm
- scientific article
- Bisimulation and action refinement
- scientific article; zbMATH DE number 176514
- Enabling Preserving Bisimulation Equivalence
- Bisimulation by unification
- Bisimulation for conditional modalities
information hidingsecurity\(\lambda\)-calculusbisimulationcontextual equivalencedata abstractioncryptographic protocolsencryptiondynamic sealing
Data encryption (aspects in computer science) (68P25) Functional programming and lambda calculus (68N18)
Cites Work
- Title not available (Why is that?)
- A calculus for cryptographic protocols: The spi calculus
- Mobile values, new names, and secure communication
- Proving congruence of bisimulation in functional programming languages
- Using encryption for authentication in large networks of computers
- Barbed bisimulation
- Proof techniques for cryptographic processes
- Full abstraction in the lazy lambda calculus
- An attack on the Needham-Schroeder public-key authentication protocol
- On bisimulations for the spi calculus
- A theory of bisimulation for a fragment of concurrent ML with local names
- Title not available (Why is that?)
- Protection in programming languages
- Parametric polymorphism and operational equivalence
- A bisimulation for type abstraction and recursion
- Modules, abstract types, and distributed versioning
- A type system for higher-order modules
- Title not available (Why is that?)
- Principals in programming languages, a syntactic proof technique
- Global abstraction-safe marshalling with hash types
Cited In (12)
- Bisimulations for delimited-control operators
- Title not available (Why is that?)
- First-order reasoning for higher-order concurrency
- Non-parametric parametricity
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation
- From applicative to environmental bisimulation
- A bisimulation for dynamic sealing
- Full abstraction at package boundaries of object-oriented languages
- Automated type-based analysis of injective agreement in the presence of compromised principals
- A bisimulation for type abstraction and recursion
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
- A bisimulation for type abstraction and recursion
This page was built for publication: A bisimulation for dynamic sealing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899331)
