R.R. Hansen, J.G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In Static Analysis (SAS'99), volume 1694 of Lecture Notes in Computer Science, pages 134-148. Springer, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Finite-Control Mobile Ambients - Witold Charatonik Andrew (2002) (29 citations) (Correct)
.... dissolve the boundary of some ambient, revealing its content) There are proposals for analysing systems expressed in the ambient calculus and its variants [2,14] via several techniques, such as equational reasoning [3] type systems [8] control flow analysis [16] and abstract interpretation [13]. Still, the ambient calculus is Turing complete, and little attention has been paid to finding expressive finite state fragments that admit automatic verification via state space exploration. The goal of this work is to identity such a fragment, and to develop a model checking algorithm for ....
R.R. Hansen, J.G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In Static Analysis (SAS'99), volume 1694 of Lecture Notes in Computer Science, pages 134--148. Springer, 1999.
Cryptographic Analysis in Cubic Time - Nielson, Nielson, Seidl (2002) (2 citations) Self-citation (Nielson) (Correct)
....The transformations are relevant also for other analyses of polyadic calculi operating over infinite universes. A Proof of Proposition 3.1 Proof. Part 1: holds. For this it su#ces to show that the analysis in Table 1 is approximated by the one in Table 2 in the sense of [7]; this means that and may be proved by structural induction in P and M . We note that the converse implications do not necessarily hold due to the lack of unique representations in DV al of values in V al. We consider a few illustrative 14 Nielson et al. cases and write (R, K,C) for ....
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In Proceedings of SAS'99, volume 1694 of LNCS, pages 134--148. Springer-Verlag, 1999.
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) (Correct)
No context found.
R.R. Hansen, J.G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In Static Analysis (SAS'99), volume 1694 of Lecture Notes in Computer Science, pages 134-148. Springer, 1999.
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
No context found.
R.R. Hansen, J.G. Jensen, F. Nielson, and H.R. Nielson. Abstract interpretation of mobile ambients. In A.Cortesi and G. File, editors, SAS '99, LNCS 1694, pp. 135--148. Springer, 1999.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In SAS'99, vol. 1694 of LNCS, pp. 134--148. Springer-Verlag, 1999. 1
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In SAS'99, vol. 1694 of LNCS, pp. 134--148. Springer-Verlag, 1999.
Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (3 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In Proc of SAS'99, LNCS 1694, pp. 134--148. Springer, 1999.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In SAS'99, vol. 1694 of LNCS, pp. 134-148. Springer-Verlag, 1999.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
R. Hansen, J. Jensen, F. Nielson, and H. Nielson. Abstract interpretation of mobile ambients. In Proceedings of SAS'99, volume 1694 of LNCS, pages 134--148. Springer-Verlag, 1999.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In SAS'99, volume 1694 of LNCS, pages 134--148. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, H. R. Nielson. Abstract interpretation of mobile ambients. In Proc. 6th Int'l Static Analysis Symp., vol. 1694 of LNCS. Springer-Verlag, 1999.
Parametric model checking for Mobile Ambients - Distefano (Correct)
No context found.
R.R. Hansen, J.G. Jensen, F. Nielson, and H.R. Nielson. Abstract interpretation of mobile ambients. In A.Cortesi and G. File, editors, SAS '99, volume 1694 of LNCS, pages 135--148. Springer, 1999.
When Ambients Cannot be Opened - Boneva, Talbot (2003) (1 citation) (Correct)
No context found.
R.R. Hansen, J.G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In Static Analysis (SAS'99), LNCS 1694, pages 134--148. Springer, 1999.
Boundary Inference for Enforcing Security Policies.. - Braghin, Cortesi.. (2002) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134--148, Springer-Verlag, 1999.
Control Flow Analysis of Mobile Ambients - With Security Boundaries (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson, Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer-Verlag, 1999.
Security Boundaries in Mobile Ambients - Chiara Braghin Agostino (2002) (6 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In A.Cortesi and G.File', editors, Proc. of Static Analysis Symposium (SAS'99), number 1694 in Lecture Notes in Computer Science, pages 134--148. Springer-Verlag, 1999.
Complexity of Nesting Analysis in Mobile Ambients - Braghin, Cortesi, Luccio.. (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In A. Cortesi and G. File', eds., Proc. of Static Analysis Symposium (SAS), LNCS 1694, pp. 134-148. Springer, 1999.
Freshness Analysis in Security Protocols - Braghin, Cortesi, Focardi (2002) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134--148, Springer-Verlag, 1999.
BANANA - A Tool for Boundary Ambients Nesting ANAlysis - Braghin, Cortesi.. (2003) (1 citation) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In Proc. of Static Analysis Symposium (SAS), volume 1694 of Lecture Notes in Computer Science, pages 134-148. Springer-Verlag, September 1999.
Information Leakage Detection in Boundary Ambients - Braghin, Cortesi, Focardi (2003) (Correct)
No context found.
Hansen, R. R., J. G. Jensen, F. Nielson and H. R. Nielson, Abstract Interpretation of Mobile Ambients, in: A.Cortesi and G.File', editors, Proc. of Static Analysis Symposium (SAS'99), number 1694 in Lecture Notes in Computer Science (1999), pp. 134-148.
Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (3 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In Proc of SAS'99, LNCS 1694, pp. 134--148. Springer, 1999.
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson. Abstract interpretation of mobile ambients. In Static Analysis Symposium (SAS'99), number 1694 in LNCS, pages 134--148. Springer, 1999.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
R. Hansen, J. Jensen, F. Nielson, and H. Nielson. Abstract interpretation of mobile ambients. In Proceedings of SAS'99, volume 1694 of LNCS, pages 134--148. Springer-Verlag, 1999.
A Control Flow Analysis for Safe and Boxed Ambients - Levi, Bodei (2004) (3 citations) (Correct)
No context found.
R. R. Hansen and J. G. Jensen and F. Nielson and H. R.Nielson. Abstract Interpretation of Mobile Ambients. Proc. of SAS'99, LNCS 1694, pp. 135-148, 1999.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In SAS'99, volume 1694 of LNCS, pages 134--148. Springer-Verlag, 1999.
First 50 documents
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