3384 search results - page 192 / 677 » More Testable Properties |
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. Chameleon signatures simultaneously provide the properties of nonrepudiation and non-transferability for the signed message. However, the initial constructions of chamele...
ACMDIS
2000
ACM
14 years 1 months ago
2000
ACM
The successful creation of telepresence and virtual environments requires a change in design paradigm. We must move away from attempts to recreate reality in its entirety toward t...
CRYPTO
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
Currently, the viability of infrared IR as an accurate means of measuring distance depends on extensive prior knowledge of the surface. More speci cally, the manner in which a sur...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...