7 search results - page 1 / 2 » Selecting theories and nonce generation for recursive protoc... |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
IPSN
2009
Springer
14 years 2 days ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...