185 search results - page 30 / 37 » A Secure Communication Framework for Mobile Agents |
ATAL
2008
Springer
13 years 9 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
13 years 5 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...
CSFW
1998
IEEE
13 years 11 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...
SASN
2003
ACM
14 years 21 days ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The availability of positional information is of great importance in many commercial, governmental, and military applications. Localization is commonly accomplished through the use...