741 search results - page 25 / 149 » Abstract Machines for Communication Security |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
JCS
2002
13 years 9 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
PERVASIVE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describesa method for establishing ad hoc and infrastructuremode wireless network connections based on physical proximity. Users can easily establish secure wi...
AGENTCL
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
TON
2008
13 years 9 months ago
2008
Abstract--Recent spates of cyber-attacks and frequent emergence of applications affecting Internet traffic dynamics have made it imperative to develop effective techniques that can...