FREE Registration is required
Overview:
The Windows Vista operating system implements an interesting model of multi-level integrity. The paper observes that in this model, trusted code must participate in any information-flow attack. Thus, it is possible to eliminate such attacks by statically restricting trusted code. The paper formalizes this model by designing a type system that can efficiently enforce data-flow integrity on Windows Vista. Typechecking guarantees that objects whose contents are statically trusted never contain untrusted values, regardless of what untrusted code runs in the environment. Some of Windows Vista's runtime access checks are necessary for soundness; others are redundant and can be optimized away.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 232 KB | |
| Date: | Jun 2008 | ||
| Pages: | 12 |
Top results from Network Operating Systems
» View all Network Operating Systems listings
Top results from Windows Vista
White Papers, Webcasts, and Resources
- Live Webcast: Enhanced Availability in a Virtual Data Center with the Dell PS Series and Microsoft Windows Server 2008 R2 Hyper-V Dell EqualLogicLearn how to use the new features of Microsoft Windows Server 2008 R2 Hyper-V to boost the availability of your virtualized data center.
- Orthopedic Center to Grow 30 Percent and Boost Productivity With Online Services MicrosoftRead how one healthcare provider dramatically lowered costs--saving over $35,000 annually on licensing fees alone--using Microsoft Online Services.
- Live Webcast: Is Your Enterprise Architected for 2010? SybaseEnterprise Architecture (EA) initiatives plagued by 'analysis paralysis'? Keep things moving forward into 2010 with this iterative approach to EA.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
- SmartPlanet
Discover innovative insight and ideas that impact the world around you -
SmartPlanet offers expert advice on innovations in healthcare, including electronic personal health records, treatment, privacy and regulation, and the green technologies that make it happen.
- Learn more >>
- Best Financial Practices of PC Refresh
-
To learn about business PCs powered by Intel® Core 2 processors with vPro technology visit www.intel.com/go/PCrefresh
- Learn more >>
Featured Training Courses
Enterprise Applications
- Check out some of the easiest and most powerful ways to boost productivity while saving money on your application infrastructure. See ZDNet's comprehensive Enterprise Application resource center, now!
- New Online Dashboard
- Read about top issues IT decision-makers face every day, plus get cost effective solutions to real life IT problems. Oracle Topline








