Secure implementations of typed channel abstractions
- 17 January 2007
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 42 (1), 251-262
- https://doi.org/10.1145/1190215.1190253
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Typed Processes in Untyped ContextsLecture Notes in Computer Science, 2005
- Analyzing security protocols with secrecy types and logic programsJournal of the ACM, 2005
- Secure Implementation of Channel AbstractionsInformation and Computation, 2002
- Bisimulations in the join-calculusTheoretical Computer Science, 2001
- Proof Techniques for Cryptographic ProcessesSIAM Journal on Computing, 2001
- Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code GenerationInformation and Computation, 2000
- Behavioral equivalence in the polymorphic pi-calculusJournal of the ACM, 2000
- Typed behavioural equivalences for processes in the presence of subtypingMathematical Structures in Computer Science, 1999
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- On reduction-based process semanticsTheoretical Computer Science, 1995