5488 search results - page 928 / 1098 » On the Secure Implementation of Security Protocols |
165
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...
186
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we consider the security of block ciphers which contain alternate layers of invertible S-boxes and affine mappings (there are many popular cryptosystems which use thi...
131
click to vote
ISW
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes a cryptographic mechanism for metering the duration and/or the number of instances of running a data process. This mechanism has the following property: knowing...
153
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
153
click to vote
VTS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...