×
验证码:
换一张
忘记密码？
记住我
×
登录
中文
|
English
学校主页
|
图书馆
登录
注册
首页
学术成果
学院
学者
数据分析
检索
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
原始文献类型
收录类别
出版者
状态
学院
个人在本单位外知识产出
1
作者
文献类型
期刊论文
1
发表日期
2012
1
语种
英语English
1
收录类别
资助机构
关键词
Information flow
1
Noninterference
1
Reachability analysis
1
Self-composition
1
Weighted pushdown system
1
出处
Jisuanji Yanjiu yu Fazhan/C...
1
资助项目
×
知识图谱
反馈留言
浏览/检索结果:共1条，第1-1条
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
发表日期升序
发表日期降序
题名升序
题名降序
期刊影响因子升序
期刊影响因子降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
Secure information flow in Java by optimized reachability analysis of weighted pushdown system
期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2012, 卷号: 49, 期号: 5, 页码: 901-912
作者:
Sun，Cong
;
Tang，Liyong
;
Chen，Zhong
;
Ma，Jianfeng
收藏
|
浏览/下载：1/0
|
提交时间：2025/08/05
Information flow
Noninterference
Reachability analysis
Self-composition
Weighted pushdown system
学校主页 
图书馆