2575 search results - page 181 / 515 » Providing security with insecure systems |
244
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
139
click to vote
SOUPS
2006
ACM
16 years 10 days ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...
303
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
141
click to vote
ISN
1998
Springer
15 years 10 months ago
1998
Springer
An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...
184
click to vote
DBSEC
2000
15 years 7 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...