2213 search results - page 397 / 443 » Software Security |
120
click to vote
ER
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
CHES
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Since the announcement of the Differential Power Analysis (DPA) by Paul Kocher and al., several countermeasures were proposed in order to protect software implementations...
107
click to vote
FC
1997
Springer
15 years 3 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
105
click to vote
USS
2008
15 years 2 months ago
2008
We examine the security requirements for creating a Deniable File System (DFS), and the efficacy with which the TrueCrypt disk-encryption software meets those requirements. We fin...