671 search results - page 31 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ISADS
1999
IEEE
15 years 2 months ago
1999
IEEE
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
SERP
2007
14 years 11 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
RSP
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
103
click to vote
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...