671 search results - page 52 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
108
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
AAAI
1998
15 years 2 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
104
Voted
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
128
click to vote
BCS
2008
15 years 2 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
131
click to vote
ACMICEC
2004
ACM
15 years 6 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...