×
验证码:
换一张
忘记密码?
记住我
×
登录
中文
|
English
学校主页
|
图书馆
登录
注册
首页
学术成果
学院
学者
数据分析
检索
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
原始文献类型
收录类别
出版者
状态
学院
个人在本单位外知识产出
7
作者
陈钟
4
宁璇
2
文献类型
期刊论文
6
会议论文
1
发表日期
2021
2
2014
1
2012
2
2011
2
语种
英语English
5
中文Chinese
2
收录类别
CPCI-S
1
ESCI
1
SCIE
1
SSCI
1
资助机构
关键词
information flow
2
noninterference
2
program analysis
2
pushdown system
2
Acceptance and commitment t...
1
China
1
更多...
出处
Cryptology and Information ...
1
INTERNATIONAL JOURNAL OF EN...
1
JMIR Research Protocols
1
Proceedings - 2011 8th Inte...
1
Science China Information S...
1
计算机研究与发展
1
更多...
资助项目
×
知识图谱
反馈留言
浏览/检索结果:共7条,第1-7条
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
提交时间升序
提交时间降序
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Promoting the mental health of university students in China: Protocol for contextual assessment to inform intervention design and adaptation
期刊论文
JMIR Research Protocols,2021, 卷号: 10, 期号: 5
作者:
Wong, Josephine Pui Hing
;
Jia, Cun Xian
;
Vahabi, Mandana
;
Wen Liu, Jenny Jing
;
Tai-Wai Li, Alan
收藏
  |  
浏览/下载:38/0
  |  
提交时间:2022/11/07
Acceptance and commitment therapy
Implementation science
Mental health
Mental illness
Protocol
Stigma
Student mental health
Association between Mental Health Knowledge Level and Depressive Symptoms among Chinese College Students
期刊论文
INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH,2021, 卷号: 18, 期号: 4
作者:
Cheng, Shuo
;
An, Di
;
Yao, Zhiying
;
Liu, Jenny Jing-Wen
;
Ning, Xuan
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2022/11/07
college students
mental health
knowledge
depressive symptoms
China
Automated enforcement for relaxed information release with reference points
期刊论文
Science China Information Sciences,2014, 卷号: 57, 期号: 11, 页码: 1-19
作者:
Sun,Cong
;
Xi,Ning
;
Gao,Sheng
;
Chen,Zhong
;
Ma,Jian Feng
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2025/08/05
declassification
information flow
noninterference
program analysis
pushdown system
security policy
基于加权下推系统优化可达性分析的Java安全信息流研究
期刊论文
计算机研究与发展,2012, 卷号: 49, 期号: 5, 页码: 901-912
作者:
孙聪
;
唐礼勇
;
陈钟
;
马建峰
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2025/08/05
信息流
无干扰性
加权下推系统
自合成
可达性分析
基于下推系统可达性分析的程序机密消去机制
期刊论文
软件学报,2012, 卷号: 23, 期号: 8, 页码: 2149-2162
作者:
孙聪
;
唐礼勇
;
陈钟
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2025/08/05
信息流安全
机密消去
下推系统
自动验证
程序分析
Enforcing reactive noninterference with reachability analysis
会议论文
Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, April 11 - 13, 2011
作者:
Sun, Cong
;
Tang, Liyong
;
Chen, Zhong
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2025/08/05
information flow
noninterference
program analysis
pushdown system
reactive program
MEED: A memory-efficient distance bounding protocol with error detection
期刊论文
Cryptology and Information Security Series,2011, 卷号: 6, 页码: 129-143
作者:
Xin, Wei
;
Tang, Cong
;
Xiong, Hu
;
Wang, Yonggang
;
Sun, Huiping
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2025/08/05
distance bounding protocol
relay attack
RFID