671 search results - page 83 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
136
click to vote
ANSS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...
108
click to vote
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
141
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
134
click to vote
IANDC
2008
15 years 1 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
114
click to vote
GIS
2009
ACM
15 years 5 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...