A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems.

Chunyan Mu

Browse the full TASE paper archive.