759 search results - page 30 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
123
click to vote
ASIACRYPT
2010
Springer
15 years 25 days ago
2010
Springer
Group signature schemes allow users to sign messages on behalf of a group while (1) maintaining anonymity (within that group) with respect to an observer, yet (2) ensuring traceab...
123
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
177
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper investigates a Bayesian model and a Markov chain Monte Carlo (MCMC) algorithm for gene factor analysis. Each sample in the dataset is decomposed as a linear combination...
103
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
110
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...