Formal Methods in the Enhancement of the Data Security Protocols of Mobile Agents.

Raja Al-Jaljouli

Browse the full AICCSA paper archive.