2008年9月20日
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Logical Methods in Computer Science
- ,
- 巻
- 4
- 号
- 3:10
- 開始ページ
- 1
- 終了ページ
- 31
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2168/lmcs-4(3:10)2008
- 出版者・発行元
- Logical Methods in Computer Science e.V.
- リンク情報
- ID情報
-
- DOI : 10.2168/lmcs-4(3:10)2008
- ISSN : 1860-5974
- eISSN : 1860-5974
- Web of Science ID : WOS:000262643100010