Formal modeling and verification of secure mobile agent systems

Mingyue Jiang, Zuohua Ding, Mengchu Zhou, Yuan Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'Formal modeling and verification of secure mobile agent systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science