2001 search results - page 231 / 401 » A security architecture for data privacy and security |
129
click to vote
SP
2006
IEEE
16 years 15 days ago
2006
IEEE
An all too real threat to the privacy offered by a mix network is that individual mix administrators may volunteer partial tracing information to a coercer. While this threat can ...
166
click to vote
SDMW
2005
Springer
15 years 12 months ago
2005
Springer
To avoid insider attacks one cannot rely on access control to protect a database scheme. Encrypting the database is a better option. This paper describes a working prototype of an ...
157
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
171
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
150
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...