90 search results - page 6 / 18 » AnBx - Security Protocols Design and Verification |
CSI
2008
14 years 10 months ago
2008
An identity-based (ID-based) universal designated verifier signature (ID-UDVS) scheme allows a signature holder to designate a specific verifier of the signature by using a simpli...
SAC
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we consider the problem of speaker verification as a two-class object detection problem in computer vision, where the object instances are 1-D short-time spectral v...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
195
click to vote
AMCS
2011
14 years 5 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...