Algorithmic Verification of Noninterference Properties
- 作者Ron van der Meyden; Chenyi Zhang
- 卷第168卷
- 印刷ISSN1571-0661
- 文件大小340.02KB
- 发表时间2007
- DOI10.1016/j.entcs.2006.11.002
- 页码61-75
同作者推荐
PrefaceAlberto Momigliano; Brigitte Pientka · 2007
PrefaceBrigitte Pientka; Carsten Schürmann · 2008
Connection-Driven Inductive Theorem ProvingChristoph Kreitz; Brigitte Pientka · Studia Logica · 2001
Contextual modal type theoryNanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte · ACM Transactions on Computational Logic · 2008
Wellfounded recursion with copatternsAbel, Andreas M.; Pientka, Brigitte · ACM SIGPLAN Notices · 2013
Intuitionistic Modal Logic and Applications (IMLA 2008)Valeria de Paiva; Brigitte Pientka · 2011
Case Analysis of Higher-Order DataJoshua Dunfield; Brigitte Pientka · 2009
Higher-order term indexing using substitution treesPientka, Brigitte · ACM Transactions on Computational Logic · 2009