1286 search results - page 145 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
115
click to vote
PODC
2004
ACM
15 years 6 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
109
click to vote
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
84
Voted
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
119
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...