4212 search results - page 624 / 843 » Rights Expression Languages |
180
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
353
click to vote
CRW
1998
Springer
15 years 10 months ago
1998
Springer
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
193
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
144
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
159
click to vote
SRDS
1997
IEEE
15 years 10 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...