29 search results - page 3 / 6 » Certifying Trust |
DAGSTUHL
2001
13 years 6 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
ICFP
2010
ACM
13 years 4 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we discuss what we believe is the grand challenge facing the software quality research community: the ability to accurately define, in the very earliest stages of d...
TOIT
2008
13 years 4 months ago
2008
In spite of the use of standard web security measures (SSL/TLS), users enter sensitive information such as passwords into scam web sites. Such scam sites cause substantial damages...
WISE
2000
Springer
13 years 9 months ago
2000
Springer
In this work we discuss a service that aims to make quoting of online documents, „web contents“ easy and provable. For that reason we report the conception of a gateway that w...