65 search results - page 2 / 13 » A Formal General Setting for Dialogue Protocols |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
JOC
2000
13 years 5 months ago
2000
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
CSFW
2011
IEEE
12 years 5 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...