14850 search results - page 149 / 2970 » The Security of |
206
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
176
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
182
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
173
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
Many applications process or transform a stream of data. Such applications are organized as a sequence of different stages, which may be independent enough to be simultaneously car...
179
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
Web applications are important, ubiquitous distributed systems whose current security relies primarily on server-side mechanisms. This paper makes the end-toend argument that the ...