Labelled mobile ambients model for information flow security in distributed systems.

N. V. Narendra Kumar, R. K. Shyamasundar

Browse the full SIN paper archive.