2422 search results - page 245 / 485 » Security Policy Consistency |
141
click to vote
VAMOS
2007
Springer
16 years 23 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
184
click to vote
CCS
2005
ACM
16 years 6 days 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...
174
click to vote
JOC
2007
15 years 6 months ago
2007
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...
164
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Sensor networks consist of a potentially huge number of very small and resource limited self-organizing devices. This paper presents the design of a general distributed service dir...
160
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...