F. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, pages 86-101, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Open Packet Monitoring on FLAME: Safety.. - Anagnostakis.. (2002) (Correct)
....user code to execute inside the operating system kernel: the system needs to guard against excessive execution time, privileged instructions, exceptions and random memory references. There has been extensive work in the operating system and language communities that addresses the above problems [10, 23, 20, 7, 28]. FLAME leverages these techniques to satisfy our security needs. Bounding Execution Time. A simple method for bounding execution time is eliminating backward jumps [11, 18] This has the advantage of providing us with an upper bound for the execution time: linear in the length of the program. ....
Fred B. Schneider, Greg Morrisett, and Robert Harper. A language-based approach to security. Informatics: 10 Years Back, 10 Years Ahead, pages 86--101, 2000.
A Functional Perspective on SSA Optimisation.. - Chakravarty.. (2003) (1 citation) (Correct)
....bene ts of typed, functional intermediate languages in compilers for conventional languages. These bene ts include simpli ed reasoning about the correctness of compiler optimisations, type based validation of optimised code at compile time, and support for the generation of certi ed binaries [9,20,16,14,18]. Moreover, ANF naturally integrates intra procedural with inter procedural analysis. 2 Making Data ow Explicit In this section, we de ne a concrete notation for both SSA and ANF. In addition, we characterise the relationship between these two intermediate forms by a translation procedure that ....
Schneider, F. B., G. Morrisett and R. Harper, A language-based approach to security, in: Informatics: 10 Years Back, 10 Years Ahead, Lecture Notes in Computer Science 2000 (2000), pp. 86-101.
Bridging the Gap between TCPA/Palladium and Personal Security - Sadeghi, Stüble (2003) (Correct)
....between local process identifiers and authentication codes. An Application Manager controls the applications to be installed and enforces a user defined security policy. Possible instantiations would be the use of code signing, source code analysis, object analysis, or proof carrying code [27, 26, 32, 21]. The application manager uses the cryptographic features of the TCPA Pd hardware to be able to decrypt DRM applications and then generates unique identifier for applications (e.g. an authentication code for the TCPA Pd hardware and a unique identifier for the authentication by users) ....
F. B. Schneider, G. Morriset, and R. Harper. A language-based approach to security. In R. Wilhelm, editor, Informatics -- 10 Years Back, 10 Years Ahead, volume 2000.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)
.... enforce flexible security policies (signed components may behave in arbitrary ways and the user must trust the component producer, while sand boxed components are isolated and cannot interact with each other) Type systems can be sensible and flexible language based security techniques, like [31] shows. Recently, a number of process programming languages supporting process distribution and mobility have been designed that come equipped with type systems that guarantee some kind of security properties, see, e.g. 23, 15, 16, 24, 8] However, to the best of our knowledge, the type system ....
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, LNCS 2000, pages 86--101. Springer, 2000.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) (Correct)
.... enforce flexible security policies (signed components may behave in arbitrary ways and the user must trust the component producer, while sand boxed components are isolated and cannot interact with each other) Type systems can be sensible and flexible language based security techniques, like [32] shows. Recently, a number of process programming languages supporting process distribution and mobility have been designed that come equipped with type systems that guarantee some kind of security properties, see, e.g. 24, 15, 16, 25, 8] However, to the best of our knowledge, the type system ....
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in LNCS, pages 86--101. Springer, 2000.
MetaKlaim: A Type Safe Multi-stage Language for Global Computing - Ferrari, Moggi (2 citations) (Correct)
....that the use of a typed intermediate code has come into prominence in the last few years (e.g. the Java Bytecode or the Microsoft Intermediate Language) However, static type checking cannot detect all potential security holes. Current run time environments exploit some mechanisms (e.g. see [SMH00, Sch00, FBF99] like reference monitors and certifying compilers, to dynamically check security properties which cannot be enforced either statically or at linking time. Dynamic enforcing of security checks increases the security level of WAN applications, because it permits to identify those ....
F.B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in Lecture Notes in Computer Science, pages 86--101. SpringerVerlag, 2000.
Analyzing Memory Accesses in x86 Binary Executables - Gogul Balakrishnan Thomas (Correct)
No context found.
F. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, pages 86-101, 2000.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
F. B. Schneider, J. G. Morrisett, R. Harper, A Language-based Approach to Security., in: R. Wilhelm (Ed.), Informatics, Vol. 2000.
Programming with Role-Based Access Control - Radha Jagadeesan Alan (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics---10 Years Back, 10 Years Ahead, volume 2000 of LNCS, pages 86--101, 2000.
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
Fred B. Schneider, Greg Morrisett, and Robert Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, volume 2000.
Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (3 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back, LNCS 2000.
Semantic Remote Attestation - A Virtual Machine directed.. - Haldar, Chandra, Franz (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. Lecture Notes in Computer Science, 2000:86--??, 2001.
Stack Inspection and Secure Program Transformations - Bartoletti, Degano, Ferrari (Correct)
No context found.
F. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead. Springer-Verlag, 2001.
Safe Code - It's Not Just For Applets Anymore - Franz (Correct)
No context found.
Fred B. Schneider, J. Gregory Morrisett, and Robert Harper. A Language-Based Approach to Security. In Informatics, pages 86--101, 2001.
Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (3 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back, LNCS 2000.
A Secure, Language Independent, High Performance.. - Potts, Gray, Leslie.. (Correct)
No context found.
Fred B. Schneider, Greg Morrisett, and Robert Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, volume 2000 of Lecture Notes in Computer Science, pages 86--101, 2000.
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) (Correct)
No context found.
F.B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in Lecture Notes in Computer Science, pages 86--101. SpringerVerlag, 2000.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000.
Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics---10 Years Back, 10 Years Ahead, volume 2000 of LNCS, pages 86--101. Springer-Verlag, 2000.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in LNCS, pages 86--101. Springer, 2000.
Analyzing Memory Accesses in x86 Executables - Balakrishnan, Reps (2004) (4 citations) (Correct)
No context found.
F.B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Back, 10 Years Ahead, pages 86--101, 2000.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper, "A language-based approach to security," in Informatics---10 Years Back, 10 Years Ahead, vol. 2000.
Efficient Packet Monitoring for Network Management - Anagnostakis, Ioannidis.. (2002) (5 citations) (Correct)
No context found.
F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. Informatics: 10 Years Back, 10 Years Ahead, pages 86--101, 2000.
Open Packet Monitoring on FLAME: Safety.. - Anagnostakis.. (2002) (Correct)
No context found.
Fred B. Schneider, Greg Morrisett, and Robert Harper. A language-based approach to security. Informatics: 10 Years Back, 10 Years Ahead, pages 86-101, 2000.
First 50 documents
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