Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari Dipartimento di...  Home/Search
Context Related
| cs.kun.nl/~erikpoll/ftfjp/2003/07.ps 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: cs.kun.nl/~erikpoll/ftfjp/2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper focuses on stack inspection, a mechanism for the implementation of security-aware programming languages. We introduce a static analysis which safely approximates the set of access rights granted to code at run-time. This analysis allows for fast implementations of stack inspection which based on an (hyper-) eager strategy. (Update)
Cited by: More
Security-Aware Program Transformations - Bartoletti, Degano, Ferrari (2003) (Correct)
Active bibliography (related documents): More All
0.9: Stack Inspection and Secure Program Transformations - Bartoletti, Degano, Ferrari (Correct)
0.2: From Stack Inspection to Access Control: - Security Analysis For (Correct)
0.1: A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (Correct)
Similar documents based on text: More All
0.3: The Weak Late pi-calculus Semantics as Observation.. - Ferrari, Montanari, Quaglia (1995) (Correct)
0.2: On Relating Some Models for Concurrency - Degano, Gorrieri, Vigna (1993) (Correct)
0.2: Compact Transition Systems - Degano, Priami (Correct)
BibTeX entry: (Update)
M. Bartoletti, P. Degano, and G. Ferrari. Static analysis for eager stack inspection. In Workshop on Formal Techniques for Java-like Programs (FTfJP'03), 2003. http://citeseer.ist.psu.edu/bartoletti03static.html More
@misc{ bartoletti03static,
author = "M. Bartoletti and P. Degano and G. Ferrari",
title = "Static analysis for eager stack inspection",
text = "M. Bartoletti, P. Degano, and G. Ferrari. Static analysis for eager stack
inspection. In Workshop on Formal Techniques for Java-like Programs (FTfJP'03),
2003.",
year = "2003",
url = "citeseer.ist.psu.edu/bartoletti03static.html" }
Citations (may not include all citations):181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
75 Practical virtual method call resolution for Java - Sundaresan, Hendren et al. - 2000
66 Enforceable security policies - Schneider - 1998
62 Scalable propagation-based call graph construction algorithm.. - Tip, Palsberg - 2000
61 Inside Java 2 platform security: architecture (context) - Gong - 1999
47 IRM enforcement of Java stack inspection - Erlingsson, Schneider - 2000
41 A type system for expressive security policies - Walker - 2000
30 A framework for call graph construction algorithms (context) - Grove, Chambers - 2001
20 SAFKASI: a security mechanism for language-based systems (context) - Wallach, Appel et al. - 2001
19 More enforceable security policies - Bauer, Ligatti et al. - 2002
19 Stack inspection: theory and variants (context) - Fournet, Gordon - 2002
15 A systematic approach to static access control - Pottier, Skalka et al. - 2001
8 A tail-recursive semantics for stack inspections (context) - Clemens, Felleisen - 2003
7 Model checking security properties of control ow graphs (context) - Besson, Jensen et al. - 2001
6 SAMS Publishing (context) - Wille - 2000
3 NET Framework Developer's Guide: Securing Applications (context) - Corp
2 Incremental call graph reanalysis for object-oriented softwa.. (context) - Souter, Pollack - 2001
2 Stack inspection and program transformations (context) - Bartoletti, Degano et al. - 2003
Documents on the same site (http://www.cs.kun.nl/~erikpoll/ftfjp/2003.html): More
Algebraic Semantics of Statements of Sequential Java - Lellahi, Zamulin (2003) (Correct)
Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2003) (Correct)
Toward Automatic Generation of Provably Correct Java Card Applets - Coglio (2003) (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