949 search results - page 162 / 190 » Design methods for security and trust |
126
click to vote
CN
2007
15 years 4 months ago
2007
Intrusion detection is a key technology for self-healing systems designed to prevent or manage damage caused by security threats. Protecting web server-based applications using in...
150
click to vote
ACNS
2003
Springer
15 years 9 months ago
2003
Springer
1 We describe a side-channel attack on a substitution block, which is usually implemented as a table lookup operation. In particular, we have investigated smartcard implementations...
143
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
116
click to vote
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Nonlinear mapping is an approach of multidimensional scaling where a high-dimensional space is transformed into a lower-dimensional space such that the topological char...
248
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...