759 search results - page 30 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
107
Voted
ASIACRYPT
2010
Springer
14 years 10 months 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...
108
Voted
SIGSOFT
2009
ACM
16 years 1 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 ...
156
click to vote
ICASSP
2011
IEEE
14 years 4 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...
FM
2003
Springer
15 years 6 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...
96
Voted
GLVLSI
2007
IEEE
15 years 4 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...