N. V. Narendra Kumar, R. K. Shyamasundar: Labelled mobile ambients model for information flow security in distributed systems. SIN 2015: 330-337