204 search results - page 33 / 41 » Securing FIPA Agent Communication |
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
84
Voted
SPW
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we present a security framework that provides identity protection against active and passive attacks for end-points. The framework is based on a two-round-trip authe...
63
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Business matching and collaboration support systems are useful, in particular for small-and-medium companies. Most of them developed so far are based on the server-client architect...
DLOG
2010
14 years 7 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
108
click to vote
CSFW
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...