949 search results - page 168 / 190 » Design methods for security and trust |
140
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...
132
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
140
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we address issues related to flow correlation attacks and the corresponding countermeasures in mix networks. Mixes have been used in many anonymous communication s...
142
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
135
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Data privacy laws have appeared recently, such as the HIPAA laws for protecting medical records, and the PCI guidelines for protecting Credit Card information. Data privacy can be...