671 search results - page 78 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
118
click to vote
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
110
click to vote
RSA
2000
14 years 11 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
122
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
103
click to vote
ITCC
2005
IEEE
15 years 5 months ago
2005
IEEE
Background: Key management in a mobile ad hoc environment is complicated by frequently partitioning network topology. Recently proposed key management systems (KMSs) provide limit...