Frederic Besson, Thomas de Grenier de Latour, Thomas Jensen  Home/Search
Context Related
| doc.ic.ac.uk/~sive...safeirisa006.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: doc.ic.ac.uk/~siveroni/sec...docs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Stack inspection is a mechanism for programming secure applications by which a method can obtain information from the call stack about the code that (directly or indirectly) invoked it. This mechanism plays a fundamental role in the security architecture of Java and the .NET Common Language Runtime. (Update)
Cited by: More
From Stack Inspection to Access Control: - Security Analysis For (Correct)
Stack Inspection and Secure Program Transformations - Bartoletti, Degano, Ferrari (Correct)
Computer Security from a Programming Language and Static Analysis.. - Leroy (Correct)
Active bibliography (related documents): More All
0.3: Formal Methods Research at SICS and KTH: An Overview - Dam, Fredlund, Gurov (2003) (Correct)
0.3: Compositional Verification for Secure Loading of Smart.. - Sprenger, Gurov, Huisman (2004) (Correct)
0.2: Access Rights Analysis for Java - Larry Koved Box (2002) (Correct)
Similar documents based on text: More All
0.6: Stack Inspection: Theory and Variants - Fournet, Gordon (2001) (Correct)
0.5: Understanding Java Stack Inspection - Wallach, Felten (1998) (Correct)
0.4: IRM Enforcement of Java Stack Inspection - Erlingsson, Schneider (2000) (Correct)
Related documents from co-citation: More All
4: Dependent types in practical programming - Xi, Pfenning - 1999
4: IRM enforcement of java stack inspection - Erlingsson, Schneider - 2000
3: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
BibTeX entry: (Update)
F. Besson , T. de Grenier de Latour , T. Jensen, Secure calling contexts for stack inspection, in Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, October 2002, http://doi.acm.org/10.1145/571157.571166 http://citeseer.ist.psu.edu/besson02secure.html More
@misc{ besson02secure,
author = "F. Besson and T. de Latour and T. Jensen",
title = "Secure calling contexts for stack inspection",
text = "F. Besson , T. de Grenier de Latour , T. Jensen, Secure calling contexts
for stack inspection, in Proceedings of the Fourth ACM SIGPLAN Conference
on Principles and Practice of Declarative Programming, October 2002, http://doi.acm.org/10.1145/571157.571166",
year = "2002",
url = "citeseer.ist.psu.edu/besson02secure.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
725 Temporal and Modal Logic (context) - Emerson - 1990
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
128 An Automata-Theoretic Approach to Linear Temporal Logic - Vardi - 1996
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
92 Going beyond the sandbox: An overview of the new security ar.. - Gong - 1997
81 SASI enforcement of security policies: A retrospective - Erlingsson, Schneider - 2000
71 Fast Static Analysis of C++ Virtual Function Calls (context) - Bacon, Sweeney - 1996
67 Call graph construction in object-oriented languages - Grove, Furrow et al. - 1997
51 Understanding Java stack inspection - Wallach, Felten - 1998
51 grammar and set constraint-based program analysis by abstrac.. (context) - Cousot, Cousot - 1995
43 Automatic synthesis of optimal invariant assertions: Mathema.. (context) - Cousot, Cousot - 1977
21 A new approach to mobile code security - Wallach - 1999
21 Verification of control flow based security properties - Jensen, Le Metayer et al. - 1999
19 Static enforcement of security with types - Skalka, Smith - 2000
19 Stack inspection: Theory and variants (context) - Fournet, Gordon - 2002
19 Data-flow-based virtual function resolution - Pande, Ryder - 1996
15 A systematic approach to static access control - Pottier, Skalka et al. - 2001
11 Enforcing trace properties by program transformation (context) - Colcombet, Fradet - 2000
9 Static analysis for stack inspection (context) - Bartoletti, Degano et al. - 2001
3 Compositional verification of secure applet interactions - Barthe, Gurov et al. - 2002
1 Model ckecking security properties of control flow graphs (context) - Besson, Jensen et al. - 2001
1 Secure Coding Guidelines (context) - Corp - 2002
1 Preliminary version appeared as Cornell Univ (context) - Schneider, policies et al. - 1998
Documents on the same site (http://www.doc.ic.ac.uk/~siveroni/secsafe/docs.html): More
Syntax of the JCVM Language To Be Studied in the SecSafe Project - Marlet (2001) (Correct)
Flow Logic for Carmel - Hansen (2002) (Correct)
Security Properties and Java Card Specificities To Be.. - Marlet, Métayer (2001) (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