A. Gordon and C. Fournet. Stack inspection: Theory and variant. In Proceedings of POPL '01 [ACM01]. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (2 citations) (Correct)
....will be granted the opportunity of being executed. The security types for access control of (see e.g. CGG02,DFPV00,HR98b] provide nice examples of this approach. Another interesting example is given by the (static and dynamic) techniques employed in modeling Java security permissions (see e.g. [WAF00,PSS01,BDF01,GF01]) In the approach based on program transformation the operations enforcing the security policies are merged into the code of the application. The underlying idea is that of a reference monitor which observes execution and halts the application whenever the application violates some security ....
A. Gordon and C. Fournet. Stack inspection: Theory and variant. In Proceedings of POPL '01 [ACM01].
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