|
2024 10月 (8) 9月 (7) 8月 (3) 7月 (4) 6月 (6) 5月 (5) 4月 (4) 3月 (4) 2月 (9) 1月 (5) |
2023 12月 (6) 11月 (5) 10月 (5) 9月 (6) 8月 (5) 7月 (5) 6月 (8) 5月 (6) 4月 (4) 3月 (6) 2月 (6) 1月 (2) |
|
2022 12月 (5) 11月 (5) 10月 (4) 9月 (5) 8月 (5) 7月 (6) 6月 (5) 5月 (4) 4月 (2) 3月 (6) 2月 (4) 1月 (6) |
2021 12月 (5) 11月 (5) 10月 (6) 9月 (3) 8月 (3) 7月 (6) 6月 (4) 5月 (3) 4月 (3) 3月 (2) 2月 (4) 1月 (5) |
|
2020 12月 (12) 11月 (9) 10月 (10) 9月 (8) 8月 (8) 7月 (5) 6月 (8) 5月 (6) 4月 (3) 3月 (2) 2月 (2) 1月 (2) |
2019 12月 (11) 11月 (10) 10月 (7) 9月 (12) 8月 (5) 7月 (8) 6月 (10) 5月 (11) 4月 (7) 3月 (9) 2月 (8) 1月 (7) |
|
2018 12月 (9) 11月 (4) 10月 (8) 9月 (4) 8月 (2) 7月 (4) 6月 (2) 5月 (4) 4月 (7) 3月 (8) 2月 (6) 1月 (5) |
2017 12月 (5) 11月 (3) 10月 (7) 9月 (10) 8月 (3) 7月 (2) 6月 (3) 5月 (5) 4月 (1) 3月 (11) 2月 (9) 1月 (2) |
|
2016 12月 (1) 10月 (1) 8月 (3) 6月 (1) 5月 (1) 4月 (3) 3月 (2) 2月 (7) 1月 (8) |
2015 12月 (3) 11月 (5) 10月 (5) 9月 (1) 8月 (2) 7月 (3) 6月 (4) 5月 (3) 4月 (1) 3月 (1) 2月 (2) 1月 (4) |
|
2014 12月 (2) 11月 (5) 10月 (2) 9月 (2) 8月 (1) 7月 (3) 6月 (2) 5月 (2) 4月 (4) 3月 (3) 2月 (5) 1月 (4) |
2013 12月 (5) 11月 (10) 10月 (2) 9月 (2) 8月 (5) 7月 (5) 6月 (4) 5月 (10) 4月 (6) 3月 (8) 2月 (1) 1月 (10) |
|
2012 12月 (6) 11月 (6) 10月 (2) 9月 (3) 8月 (6) 7月 (9) 6月 (5) 5月 (4) 4月 (6) 3月 (5) 2月 (6) 1月 (3) |
2011 12月 (6) 11月 (2) 10月 (3) 9月 (7) 8月 (2) 7月 (2) 6月 (1) 5月 (7) 4月 (4) 3月 (10) 2月 (11) 1月 (12) |
|
2010 12月 (8) 11月 (2) 10月 (6) 9月 (7) 8月 (7) 7月 (9) 6月 (6) 5月 (7) 4月 (8) 3月 (12) 2月 (9) 1月 (16) |
2009 12月 (23) 11月 (14) 10月 (16) 9月 (17) 8月 (22) 7月 (12) 6月 (10) 5月 (24) 4月 (25) 3月 (21) 2月 (14) 1月 (4) |
|
2008 12月 (3) 11月 (1) 10月 (2) 9月 (4) 8月 (2) 7月 (1) 6月 (1) 5月 (2) 4月 (1) 3月 (4) 2月 (2) 1月 (1) |
2007 11月 (2) 10月 (1) 8月 (1) 7月 (4) 3月 (1) 2月 (4) |
|
2006 12月 (2) 11月 (3) 10月 (2) 8月 (1) 7月 (4) 6月 (3) |
機密度を下げる仕組みを導入した情報流解析に関する論文。従来の手法では機密度は上がりこそすれ下がることはなく、非干渉性は非常に強い性質になっていたため現実的ではなかった。そこで、どのようにすれば機密度を下げる（downgrading）ことができるかその仕様を与え、プログラムがそれを守っているか静的に解析する。仕様をラベルとしてプログラムに付け、型システムにかける。非干渉性は、仕様で与えられたよりも低い機密度を持つデータに影響しないことと緩められる。
author="Peng Li and Steve Zdancewic",
title="{Downgrading Policies and Relaxed Noninterference}",
booktitle="POPL'05",
pages="158--170",
year="2005"