Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus
-
- 五十嵐 淳
- 京都大学
書誌事項
- タイトル
- Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus
- 著者
- Naokata Shikuma, Atsushi Igarashi
収録刊行物
-
- Proceedings of the 11th Annual Asian Computing Science Conference(ASIAN'06) 4435
-
Proceedings of the 11th Annual Asian Computing Science Conference(ASIAN'06) 4435 302-316, 2006