1499 search results - page 125 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
164
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—We take a systematic approach to developing a symmetric cryptography library in Javascript. We study various strategies for optimizing the code for the Javascript interpreter, a...
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
193
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
180
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
There is currently a strong focus worldwide on the potential of large-scale Electronic Health Record systems to cut costs and improve patient outcomes through increased efficiency....
178
click to vote
JCS
2002
15 years 6 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...