168 search results - page 3 / 34 » A Model of Computation for the NRL Protocol Analyzer |
GCC
2003
Springer
14 years 17 days ago
2003
Springer
This paper analyzes security problems existing in Grid Computing System and describes the security mechanism in Grid Computing System. After briefly introducing the security abstra...
ESOP
2005
Springer
14 years 26 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
PRDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
CJ
2007
13 years 7 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...