On last.fm: Taylor Swift photos and free music!
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

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.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:146 KB
Date:Jan 2009
Pages:15

People who downloaded this item also downloaded

White Paper The Importance of an Information Strategy
Download 10+ IT pros share the utilities and tools they can't live without
White Paper JR: Flexible Distributed Programming in an Extended Java
White Paper Mostly-Functional Behavior in Java Programs
Download The industry's 10 best IT certifications

Top results from Java

White Paper Smarter Products - The Building Blocks for a Smarter Planet
Webcast Outsourcing the data centre to a carrier neutral data centre operator in Europe
Resource Center Is the time right to move from RISC to Intel Architecture?
Webcast Increase developer productivity using IBM RationalTM and WebSphereTM.
White Paper Increase Reliability with IBM WebSphere File Transfer Edition (FTE)

» View all Java listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).