M. Hennessy, J. Riely. "Information Flow vs. Resource Access in the Asynchronous PiCalculus ". ICALP 2000: 415-427. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Control Flow Analysis of Mobile Ambients with Security.. - Braghin, Cortesi, Focardi (2002) (5 citations) (Correct)
....of transmitting information are called covert channels. Figure1 summarizes this policy. Write Read Write Read Covert Channel Write up Read down Level n Level n k Fig. 1. Multilevel Security Policy. In order to detect both direct and indirect information leakages, a typical approach (see, e.g. [2,6 8,10,11]) consists in directly defining what is an information flow from one level to another one. Then, it is su#cient to verify that, in any system execution, no information flow is possible from level high to level low. This is the approach we follow in this paper. We will consider information flow ....
M. Hennessy, J. Riely. "Information Flow vs. Resource Access in the Asynchronous PiCalculus ". ICALP 2000: 415-427.
Information Flow Security in Mobile Ambients - Cortesi, Focardi (2001) (Correct)
....transmitting information are called covert channels. Figure1 summarizes this policy. Read Write Read Covert Channel Write up Read down Level n Level n k Fig. 1. Multilevel Security Policy. In order to detect both direct and indirect information leakages, a typical approach (see, e.g. [2,5 7,9,10]) consists in directly defining what is an information flow from one level to another one. Then, it su#cient to verify that, in any system execution, no information flow is possible from level high to level low. This is the approach we follow in this paper. The scenario. We will consider ....
M. Hennessy, J. Riely. "Information Flow vs. Resource Access in the Asynchronous Pi-Calculus". ICALP 2000: 415-427.
Classification of Security Properties (Part I: Information Flow) - Focardi, Gorrieri (Correct)
....flow. We also intend to carry the BNDC theory over more expressive process calculi, like, e.g. pi spicalculus [2] and Mobile Ambients [13] This would allow to compare it with new recent security properties proposed on such calculi and reminiscent of some Non Interference ideas (see, e.g. [37, 35]) ....
M. Hennessy and J. Riely. "Information Flow vs. Resource Access in the Asynchronous Pi-Calculus". In proceedings of ICALP, pages 415--427, 2000.
A Uniform Type Structure for Secure Information Flow.. - Honda, Yoshida (2002) (25 citations) (Correct)
....processes, cf. 31, 17, 48] Clear behavioural articulation and characterisation of linearity and affinity as typed processes are first presented in [6, 49] whose integration is reported here for the first time. Secrecy and other security concerns in processes are widely studied recently, cf. [1, 36, 41, 32, 11, 15, 23]. 1] includes insightful discussions on secrecy. These studies mainly focus on modelling security in distributed systems, and do not pursue integrated secrecy typing for different language constructs. Outline. Section 2 presents the typed calculus which integrates linear affine type ....
....representability to analyse secure information flow in pure functions, illustrating how the integration of linear affine types of the calculus can be instrumented for a specific application domain. The basic framework of the incorporation of secrecy in the calculus follows the preceding work [23, 1, 15]. Let L be a complete lattice of secrecy levels (higher means more secure secret) and let s; s 0 ; range over L. In this section we consider channel types annotated with secrecy levels. p I s j [ i i ] p I s O : p O s j [ i i ] p O s The duality is ....
Hennessy, M. and Riely, J., Information flow vs resource access in the asynchronous pi-calculus, ICALP00, LNCS 1853, 415-427, Springer, 2000.
Control Flow Analysis of Mobile Ambients - With Security Boundaries (Correct)
No context found.
M. Hennessy, J. Riely. "Information Flow vs. Resource Access in the Asynchronous PiCalculus ". ICALP 2000: 415-427.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
M. Hennessy and J. Riely. Information flow vs resource access in the asynchronous #- calculus (extended abstract). In U. Montanari, J. Rolim, and E. Welzl, editors, Proceedings of ICALP2000.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
No context found.
M. Hennessy and J. Riely, "Information flow vs resource access in the asynchronous pi-calculus (extended abstract)," in Proc. ICALP'00. July 2000, vol. 1853 of LNCS, pp. 415--427, Springer-Verlag.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
No context found.
M. Hennessy and J. Riely, "Information flow vs resource access in the asynchronous pi-calculus (extended abstract)," in Proc. ICALP'00. July 2000, vol. 1853 of LNCS, pp. 415--427, Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC