1690 search results - page 185 / 338 » A Security Framework for JXTA-Overlay |
160
click to vote
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
15 years 10 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
146
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
176
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
201
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
150
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...