671 search results - page 68 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
JOT
2006
15 years 1 months ago
2006
This paper presents the middleware needed to deploy jobs to non-geographically colocated clusters with decentralized look-up severs. We have named our framework the Initium Remote...
123
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
137
click to vote
ESAS
2007
Springer
15 years 7 months ago
2007
Springer
Traditional key pre-distribution schemes in sensor and ad hoc networks rely on the existence of a trusted third party to generate and distribute a key pool. The assumption of a sin...
116
click to vote
TIT
2008
15 years 27 days ago
2008
Abstract--In the bounded-storage model (BSM) for information-theoretic secure encryption and key agreement, one makes use of a random string R whose length t is greater than the as...
131
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...