The security pi-calculus and non-interference-Reference-Cited by-同舟云学术

The security pi-calculus and non-interference

Published:2005-04 Issue:1 Volume:63 Page:3-34
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Hennessy Matthew

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference25 articles.

1. Secrecy by typing in security protocols;Abadi,1997

2. D.E. Bell, L.J. LaPadula, Secure computer system: unified exposition and multics interpretation, Technical report MTR-2997, MITRE Corporation, 1975

3. G. Boudol, Asynchrony and the π-calculus, Technical Report 1702, INRIA-Sophia Antipolis, 1992

4. Testing theories for asynchronous languages;Castellani,1998

5. S. Conchon, Modular information flow analysis for process calculi, in: I. Cervesato (Ed.), Proceedings of the Foundations of Computer Security Workshop (FCS 2002), Copenhagen, Denmark, July 2002

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Yoneda Hacking: The Algebra of Attacker Actions;ACM Transactions on Cyber-Physical Systems;2022-07-31

2. Session Logical Relations for Noninterference;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

3. The C-calculus: A model for confidential name passing;Journal of Logical and Algebraic Methods in Programming;2021-02

4. The Cpi-calculus: a Model for Confidential Name Passing;Electronic Proceedings in Theoretical Computer Science;2019-09-12

5. Combining behavioural types with security analysis;Journal of Logical and Algebraic Methods in Programming;2015-11