461 search results - page 67 / 93 » Developing security protocols by refinement |
163
click to vote
PDPTA
2008
15 years 7 months ago
2008
Abstract - With the growth of the Internet and increased demand for Web Services has come a heightened need for scalable wide-area group communication systems. The need for trust i...
195
click to vote
FC
2007
Springer
16 years 2 days ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...
169
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
237
click to vote
NDSS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...
144
click to vote
HOLOMAS
2003
Springer
15 years 11 months ago
2003
Springer
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...