2209 search results - page 48 / 442 » Language Based Secure Communication |
130
click to vote
MA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
100
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Ultrasound has been proposed as out-of-band channel for authentication of peer devices in wireless ad hoc networks. Ultrasound can implicitly contribute to secure communication ba...
133
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently several researchers and practitioners have begun to address the problem of how to set up secure communication between two devices without the assistance of a trusted thir...
116
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...