Dino Distefano  Home/Search
Context
Related
| dcs.qmul.ac.uk/%7Eddino...mcmafull.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmul.ac.uk/%7E...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we propose an new abstract finite model of Mobile Ambients able to express some interesting security properties. This model can be used for analysing these properties by means of model checking techniques. The precision of the analysis can be increased by modifying certain parameters of the model increasingly avoiding thereby the occurrences of false counterexamples. 1 (Update)
Active bibliography (related documents): More All
1.7: A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
0.4: Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
0.4: A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (Correct)
Similar documents based on text: More All
0.2: On Model Checking the Dynamics of Object-Based Software - a.. - Distefano (2003) (Correct)
0.2: On A Temporal Logic For Object-Based Systems - Distefano, Katoen, Rensink (2000) (Correct)
0.2: A Report on the First Year of the INitiative for the Evaluation .. - Kazai, al. (2004) (Correct)
BibTeX entry: (Update)
@misc{ distefano-parametric,
author = "Dino Distefano",
title = "Parametric model checking for Mobile Ambients",
url = "citeseer.ist.psu.edu/724851.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
539 The temporal logic of programs (context) - Pnueli - 1977
410 Mobile ambients - Cardelli, Gordon - 1998
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
118 A spatial logic for concurrency - Caires, Cardelli - 2003
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
39 Abstract interpretation of mobile ambients (context) - Hansen, Jensen et al. - 1999
30 Finite-control mobile ambients - Charatonik, Gordon et al. - 2002
30 Safe ambients: Control flow analysis and security - Degano, Levi et al. - 2000
17 Control flow analysis of mobile ambients with security bound.. - Braghin, Cortesi et al. - 2002
16 An introduction to history-dependent automata (context) - Montanari, Pistore - 1997
15 An abstract interpretation framework for analysing mobile am.. (context) - Levi, Ma - 2001
6 Who is pointing when to whom: on model-checking pointer stru.. - Distefano, Rensink et al. - 2003
6 Who is pointing when to whom (context) - Distefano, Katoen et al. - 2004
4 On model checking the dynamics of object-based software: a f.. - Distefano - 2003
3 Behavioral and spatial observations in a logic for #-calculu.. (context) - Caires - 2004
2 Validating farewalls in mobile ambients (context) - Nielson, Nielson et al. - 1999
1 On abstract interpretation of mobile ambients (context) - Levi, Ma - 2004
1 22 AProofs In order to prove Theorem 1 (context) - Sagiv, Reps et al. - 1998
Documents on the same site (http://www.dcs.qmul.ac.uk/%7Eddino/publications.html): More
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (Correct)
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (Correct)
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