1286 search results - page 58 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
132
click to vote
EUROSYS
2008
ACM
16 years 10 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
129
click to vote
CONEXT
2007
ACM
15 years 7 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
122
click to vote
NSPW
2004
ACM
15 years 8 months ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...
121
click to vote
CSFW
1994
IEEE
15 years 7 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
157
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...