94 search results - page 13 / 19 » Experimental Analysis of the Arcanum Key Exchange Protocol |
JOC
2011
13 years 2 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
ESORICS
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
SENSYS
2003
ACM
14 years 26 days ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
APBC
2003
13 years 9 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...