1.情報流解析におけるDeclassifierの配置手法

作　　者：桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2015 ;32(1):1_136-1_146.doi:10.11309/jssst.32.1_136

出版社：Japan Society for Software Science and Technology

文章 ID：108524842

文章详细全文下载
2.Java Stream APIによるストリーム操作の停止性検査のための型システム

作　　者：長谷川健太 ;桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2020 ;37(2):59-75.doi:10.11309/jssst.37.2_59

出版社：Japan Society for Software Science and Technology

文章 ID：254523521

文章详细全文下载
3.情報流解析における制約付き機密度パラメータ

作　　者：桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2019 ;36(4):39-45.doi:10.11309/jssst.36.4_39

出版社：Japan Society for Software Science and Technology

文章 ID：243771593

文章详细全文下载
4.任意の機密度束を用いた情報流解析における非機密化プリミティブの配置

作　　者：桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2017 ;34(2):2_28-2_38.doi:10.11309/jssst.34.2_28

出版社：Japan Society for Software Science and Technology

文章 ID：197752086

文章详细全文下载
5.情報流解析のためのJavaアノテーション

作　　者：吉田真也 ;桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2017 ;34(4):4_47-4_53.doi:10.11309/jssst.34.4_47

出版社：Japan Society for Software Science and Technology

文章 ID：210985948

文章详细全文下载
6.オブジェクト指向言語の情報流解析における機密度のパラメータ化

作　　者：吉田真也 ;桑原寛明 ;國枝義敏

出　　处：コンピュータソフトウェア. 2019 ;36(1):48-65.doi:10.11309/jssst.36.48

出版社：Japan Society for Software Science and Technology

文章 ID：234138679

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("國枝義敏")))) )) ) )"

	國枝義敏	6篇
	桑原寛明	6篇
	吉田真也	2篇
	長谷川健太	1篇

	2020	1篇
	2019	2篇
	2017	2篇
	2015	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("國枝 義敏")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("國枝義敏")))) )) ) )"