671 search results - page 34 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
INFSOF
2006
14 years 9 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
105
click to vote
IJNSEC
2008
14 years 9 months ago
2008
Specific applications like military or public emergency ones require secure group communication in ad hoc environments. The most suitable solution to provide the expected level of...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Ad-hoc networks are perceived as communities of autonomous devices that interconnect with each other. Typically, they have dynamic topologies and cannot rely on a continuous conne...
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...