CSFW   2007 IEEE Computer Security Foundations Workshop
Wall of Fame | Most Viewed CSFW-2007 Paper
13 years 9 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
Gurvan Le Guernic
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source183
2Download preprint from source165
3Download preprint from source145
4Download preprint from source131
5Download preprint from source128
6Download preprint from source124
7Download preprint from source116
8Download preprint from source111
9Download preprint from source109
10Download preprint from source109
11Download preprint from source107
12Download preprint from source106
13Download preprint from source102
14Download preprint from source98
15Download preprint from source97
16Download preprint from source93
17Download preprint from source92
18Download preprint from source87
19Download preprint from source86
20Download preprint from source83
21Download preprint from source74
22Download preprint from source64