Automated security analysis of web applications
Automated security analysis of web applications
Web 应用程序的自动安全分析
批准号：
25730039
负责人：
LI Xin
金额：
$1.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-02-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.2197/ipsjtrans.7.132
发表时间：
2014-08
期刊：
Ipsj Online Transactions
影响因子：
--
作者：
[Hua Vy Le Thanh;Xin Li]
通讯作者：
Hua Vy Le Thanh;Xin Li
Automata-based Abstraction Refinement for muHORS Model Checking
基于自动机的 muHORS 模型检查抽象细化
基于自动机的 muHORS 模型检查抽象细化
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Hua Vy Le Thanh, Xin Li, Xin Li]
通讯作者：
Xin Li
Generating Stack-based Access Control Policies
生成基于堆栈的访问控制策略
生成基于堆栈的访问控制策略
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Hua Vy Le Thanh, Xin Li, Xin Li, Xin Li, Xin Li, Xin Li]
通讯作者：
Xin Li
A web-demo interface of CWPDS model checker
CWPDS 模型检查器的网络演示界面
CWPDS 模型检查器的网络演示界面
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Development of an air conveyor using swirling airflow to float LCD glass substrate
-
批准号：23760131
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.5万
-
财政年份：2011
-
负责人：LI Xin
-
依托单位：
海外基金