2685 search results - page 388 / 537 » A Formal Semantics for SPKI |
164
click to vote
SBIA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
187
click to vote
ACSD
2003
IEEE
16 years 11 days ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
200
click to vote
VRML
2003
ACM
16 years 9 days ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
157
click to vote
CCS
2003
ACM
16 years 8 days ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
212
click to vote
ESORICS
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...