183 search results - page 2 / 37 » Certificates for mobile code security |
NGC
2008
Springer
13 years 5 months ago
2008
Springer
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ
MAS
1998
Springer
13 years 9 months ago
1998
Springer
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...
JCIT
2007
13 years 5 months ago
2007
A Mobile Ad Hoc Network (MANET) is an infrastructureless network of wireless mobile nodes that cooperate among each other to maintain connectivity of the network. In comparison to...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE