248 search results - page 40 / 50 » Authentication Primitives and Their Compilation |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
106
click to vote
DCOSS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a protocol called SAKE (Software Attestation for Key Establishment), for establishing a shared key between any two neighboring nodes of a sensor netwo...
CIA
1999
Springer
15 years 2 months ago
1999
Springer
When we communicate with others in a most primitive way like face-to-face conversation, we normally gather at a common physical place. This physical constraint has been recognized ...
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
102
click to vote
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...