Using Ponder as a Standard Security Specification Language in Heterogeneous Networks.

Raouf Alomainy, Wei Li

Browse the full CAINE paper archive.