5475 search results - page 947 / 1095 » Model Driven Security |
146
click to vote
SRDS
2008
IEEE
16 years 21 days ago
2008
IEEE
Unattended Wireless Sensor Networks (UWSNs) are composed of many small resource-constrained devices and operate autonomously, gathering data which is periodically collected by a v...
203
click to vote
ACNS
2008
Springer
16 years 21 days ago
2008
Springer
We present generic constructions of stateful public key encryption (StPE). We build several new StPE schemes and explain existing ones using our generic constructions. Of the new ...
156
click to vote
AINA
2007
IEEE
16 years 20 days ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
167
click to vote
BROADNETS
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
137
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 18 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...