671 search results - page 83 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
116
click to vote
ANSS
2008
IEEE
15 years 6 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...
VLSID
2004
IEEE
16 years 5 days 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...
121
click to vote
AGENTS
2001
Springer
15 years 4 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...
112
click to vote
IANDC
2008
14 years 12 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...
100
click to vote
GIS
2009
ACM
15 years 3 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 ...