| Publisher | Kansas State University | ||
|---|---|---|---|
| Format | 145.9KB PDF | Date added | 01 Jan 2009 |
| Topics | Programming Languages, Java | ||
| Downloads | 4 | ||
This paper addresses the problem of checking programs written in a Java-like language, to ensure that they satisfy information flow policies like confidentiality and integrity in the presence of dynamic access control mechanisms like stack inspection. Security policy is specified using permission dependent security types. The paper presents an inference algorithm that infers such security types in a modular manner. For an object-oriented language, this involves inference in the presence of libraries, i.e., classes parameterized by security levels. Moreover the paper shows how modular inference is preserved in the presence of method inheritance and override.
Did you find this white paper useful?
12 out of 31 users found this white paper useful
Related white papers
Enhancing Development and Performance with C# 2.0 Generics
Generics allow you to define data structures, without committing to actual data types. This results with significant performance boost, and higher quality code, because you get to reuse data processing...
Sentara Healthcare optimizes the health of critical technology
To effectively serve the 2 million residents that turn to them for healthcare services, Sentara Healthcare must coordinate operations across some 112 separate facilities in Virginia and North Carolina, including...
MSDN Webcast: Comparative Windows Code Protection Technologies, Strengths, and Weaknesses (Level 200)
As a developer, one not only have to consider writing great applications with broad appeal, but one also needs to consider how to protect applications so that they are not...
MSDN Webcast: Lighting Up the New Visual Studio 2010 Editor With Rich Extensions (Level 200)
While many of them may know that Microsoft Visual Studio 2010 comes with a new extensible editor based on Windows Presentation Foundation (WPF), does one know why one should care?...
MSDN Webcast: Got Memory Leaks? Find Errors Using Intel Parallel Studio (Level 300)
Discover how easy it is to detect challenging memory errors by taking advantage of the power of Microsoft Visual Studio 2010 and Intel Parallel Studio. Intel Parallel Studio is an...
Ajax: For Graphics-Intensive Web Applications
Ajax (which stands for asynchronous JavaScript and XHTML) is not a technology per se, but rather a design approach for Web applications. Ajax improves the user's Web application experience while...
Numerical Library Provider Realizes Major Performance Gains by Parallelizing Its Code
Visual Numerics needed a way to efficiently parallelize its C# numerical library software - and thus realized the performance gains made possible by today's multicore processors. The company continues to...
