39 search results - page 4 / 8 » The Use of Formal Methods for Trusted Digital Signature Devi... |
ATS
2010
IEEE
13 years 3 months ago
2010
IEEE
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...
IJMSO
2006
13 years 5 months ago
2006
: On the semantic web, assertions may be aggregated from many sources, those aggregations filtered, reasoned over, aggregated with other aggregators, displayed, scraped, extracted,...
FC
2005
Springer
13 years 11 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...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
FAC
2007
13 years 5 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...