3821 search results - page 380 / 765 » A Security Model for Aglets |
166
click to vote
ISN
1998
Springer
15 years 11 months ago
1998
Springer
Enterprise models, based on the responsibilities and relationships underlying market activities, are used to provide a framework for representing and analysing the activity of bro...
163
click to vote
WEBNET
1996
15 years 8 months ago
1996
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
179
click to vote
EUROCRYPT
2007
Springer
16 years 29 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
188
click to vote
IPPS
2006
IEEE
16 years 25 days 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...