5843 search results - page 1087 / 1169 » Software Security in Practice |
FC
2010
Springer
14 years 29 days ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
SIGGRAPH
2010
ACM
14 years 28 days ago
2010
ACM
We introduce here our latest ‘smart laser projector’ prototype, i.e, a modified laser-based projector capable of augmenting all kind of surfaces while simultaneously using th...
DSN
2004
IEEE
14 years 24 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
ESAW
2000
Springer
14 years 20 days ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
PKC
2000
Springer
14 years 19 days ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...