Operational Semantics for Secure Interoperation.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Browse the full ECOOP paper archive.