C. Fournet and A. D. Gordon. Stack inspection: theory and variants. In Symposium on Principles of Programming Languages, pages 307--318, 2002. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Type System for Robust Declassification - Zdancewic (2003) (7 citations) (Correct)
Detecting Malicious Java Code Using Virtual Machine Auditing - Soman, Krintz, Vigna (2003) (1 citation) (Correct)
Using Access Control for Secure Information Flow in a.. - Banerjee, Naumann (2003) (4 citations) (Correct)
Secure Calling Contexts for Stack Inspection - Besson, de Latour, Jensen (2002) (5 citations) (Correct)
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
Types for Lexically-Scoped Access Control - Terauchi, Aiken, Foster (2003) (Correct)
A Language and System for Composing Security Policies - Bauer, Ligatti, Walker (2004) (Correct)
Static Analysis for Eager Stack Inspection - Massimo Bartoletti Pierpaolo (2003) (Correct)
History-based Access Control and Secure Information Flow - Banerjee, Naumann (Correct)
A Secure PLAN (Extended Version) - Michael Hicks Computer (2002) (Correct)
Type-Based Security for Mobile Computing: Integrity.. - Nobuko Yoshida.. (2004) (Correct)
Run-time Principals in Information-flow Type Systems - Stephen Tse Steve (2004) (5 citations) (Correct)
A Secure PLAN - Hicks, Keromytis, Smith (2003) (19 citations) (Correct)
Information Integrity Policies - Peng Li Yun (2003) (Correct)
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
Run-time Principals in Information-flow Type Systems - Tse, Zdancewic (2004) (5 citations) (Correct)
A Secure PLAN (Extended Version) - Michael Hicks Computer (2002) (Correct)
From Stack Inspection to Access Control: - Security Analysis For Self-citation (Fournet Gordon) (Correct)
Access Control based on Execution History - Abadi, Fournet (2003) (12 citations) Self-citation (Fournet) (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