2979 search results - page 217 / 596 » Modelling secure multiagent systems |
198
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
166
click to vote
SEFM
2007
IEEE
16 years 19 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
203
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
177
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
186
click to vote
NBIS
2007
Springer
16 years 15 days ago
2007
Springer
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...