12637 search results - page 443 / 2528 » Security for Extensible Systems |
194
Voted
SACMAT
2006
ACM
16 years 24 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
177
click to vote
ACSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...
143
Voted
ACSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
236
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...
216
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Group signatures have recently become important for enabling privacy-preserving attestation in projects such as Microsoft's ngscb effort (formerly Palladium). Revocation is c...