347 search results - page 46 / 70 » A Security Framework for a Mobile Agent System |
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
ER
2001
Springer
14 years 19 days ago
2001
Springer
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
ENTCS
2007
13 years 7 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
EUROMICRO
1997
IEEE
14 years 10 days ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...