Expressing Security Properties Using Selective Interleaving Functions

Expressing Security Properties Using Selective Interleaving Functions

01 August 2006


Venue : N/A

External Link: CoRR