[IEEE 2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS) - Tozeur, Tunisia (2008.10.28-2008.10.30)] 2008 Third International Conference on Risks and Security of Internet and Systems - A formal security framework for mobile agent systems: Specification and verification
Loulou, Monia, Kacem, Ahmed Hadj, Jmaiel, Mohamed, Mosbah, MohamedYear:
2008
Language:
english
DOI:
10.1109/crisis.2008.4757465
File:
PDF, 131 KB
english, 2008