[IEEE Second International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 2007) - Iowa City, IA, USA (2007.08.13-2007.08.15)] Second International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 2007) - Combining robust declassification and intransitive noninterference
Jiang, Li, Ping, Lingdi, Pan, XuezengYear:
2007
Language:
english
DOI:
10.1109/imsccs.2007.54
File:
PDF, 502 KB
english, 2007