11603 search results - page 642 / 2321 » Securing Embedded Systems |
198
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
221
click to vote
IWIA
2005
IEEE
16 years 1 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
213
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
173
click to vote
SWS
2004
ACM
16 years 27 days ago
2004
ACM
Supporting security in distributed systems is becoming more important with the ongoing work in grids, distributed middlewares and web services. Decentralised security architecture...
189
click to vote
FOSSACS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...