300 search results - page 7 / 60 » Formal Methods for Smartcard Security |
FC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents computationally “lightweight” schemes for performing biometric authentication that carry out the comparison stage without revealing any information that can...
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
IJSSE
2011
13 years 2 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
CCS
2004
ACM
14 years 28 days ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...