2808 search results - page 367 / 562 » Mobile Agent Security |
167
click to vote
ICTCS
2001
Springer
15 years 11 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
140
click to vote
WIS
2004
15 years 8 months ago
2004
This paper presents UbiBay, a self-organizing distributed auction system using a mobile multihop ad-hoc network as its sole communication platform. In order to substantially increa...
281
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
174
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
A distributed decision support system involving multiple clinical centres is crucial to the diagnosis of rare diseases. Although sharing of valid diagnosed cases can facilitate la...
197
click to vote
WETICE
2005
IEEE
16 years 4 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...