Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the pi-calculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243254. Springer-Verlag, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (17 citations) (Correct)
....a coloured labelled transition semantics, allowing more direct statements of security properties of wrappers that interact with their environment. The coloured calculus is a trade o it captures less detailed causality information than the noninterleaving models studied in concurrency theory [37, 3, 7] but is much simpler; it captures enough information to express interesting security properties. In [28] we also expressed a number of other desirable properties of wrappers that they honestly forward messages between component and environment, and that they mediate all communication between ....
Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the picalculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243-254. Springer-Verlag, 1995.
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (2000) (17 citations) (Correct)
....labelled transition semantics, allowing more direct statements of security properties of wrappers that interact with their environment. The coloured calculus is a trade o it captures less detailed causality information than the non interleaving models studied in concurrency theory [WN95, BS95, DP95] but is much simpler; it captures enough information to express interesting security properties. In [SV99a] we also expressed a number of other desirable properties of wrappers that they honestly forward messages between component and environment, and that they mediate all communication ....
Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the pi-calculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243-254. Springer-Verlag, 1995.
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (17 citations) (Correct)
....labelled transition semantics, allowing more direct statements of security properties of wrappers that interact with their environment. The coloured calculus is a trade off it captures less detailed causality information than the non interleaving models studied in concurrency theory [WN95, BS95, DP95] but is much simpler; it captures enough information to express interesting security properties. In [SV99a] we also expressed a number of other desirable properties of wrappers that they honestly forward messages between component and environment, and that they mediate all communication ....
Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the pi-calculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243254. Springer-Verlag, 1995.
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (17 citations) (Correct)
....a coloured labelled transition semantics, allowing more direct statements of security properties of wrappers that interact with their environment. The coloured calculus is a tradeo it captures less detailed causality information than the non interleaving models studied in concurrency theory [44, 6, 11] but is much simpler; it captures enough information to express interesting security properties. In [35] we also expressed a number of other desirable properties of wrappers that they honestly forward messages between component and environment, and that they mediate all communication between ....
Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the pi-calculus. In E. W. Mayr 11 and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243-254. Springer-Verlag, 1995.
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (18 citations) (Correct)
No context found.
Michele Boreale and Davide Sangiorgi. A fully abstract semantics for causality in the pi-calculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243254. Springer-Verlag, 1995.
Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
No context found.
M. Boreale and D. Sangiorgi. A fully abstract semantics for causality in the picalculus. In E. W. Mayr and C. Puech, editors, Proceedings of STACS'95, volume 900 of Lecture Notes in Computer Science, pages 243-254. Springer-Verlag, 1995.
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