Automated security analysis of web applications
Web 应用程序的自动安全分析
基本信息
- 批准号：25730039
- 负责人：
- 金额：$ 1.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-02-01 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（7）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems
- DOI：10.2197/ipsjtrans.7.132
- 发表时间：2014-08
- 期刊：
- 影响因子：0
- 作者：Hua Vy Le Thanh;Xin Li
- 通讯作者：Hua Vy Le Thanh;Xin Li
Automata-based Abstraction Refinement for muHORS Model Checking
基于自动机的 muHORS 模型检查抽象细化
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Hua Vy Le Thanh;Xin Li;Xin Li
- 通讯作者：Xin Li
Generating Stack-based Access Control Policies
生成基于堆栈的访问控制策略
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Hua Vy Le Thanh;Xin Li;Xin Li;Xin Li;Xin Li;Xin Li
- 通讯作者：Xin Li
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
LI Xin其他文献
变形态Ti40合金的高温流变应力模型研究
- DOI：
- 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
CAO Jing-xia;李鑫;鲁世强;王克鲁;黄旭;曹京霞;WANG Fang;LI Xin;LU Shi-qiang - 通讯作者：
LU Shi-qiang
慢病毒介导的ebv-miR-BART7稳定过表达鼻咽癌细胞株CNE1的建立
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
袁存存;HUANG Yu-qi;YE Yan-fen;ZHAO Man-li;L(U) Xiao-ming;LI Xin;蔡红兵;黄宇琦;叶艳芬;赵曼丽;吕晓明;李欣;YUAN Cun-cun;CAI Hong-bing - 通讯作者：
CAI Hong-bing
Preparation and Performance of Electrodeposited Cr-Pr Coating
电沉积Cr-Pr涂层的制备及性能
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
LIU Xiaozhen;WANG Sansan;LIU Xiaozhou;CHEN Jie;LI Xin;YANG Lei - 通讯作者：
YANG Lei
Kinetic Analysis of Thermal Decomposition of Flame–Retarded Polyester/ Natural Brucite Composites
阻燃聚酯/天然水镁石复合材料热分解动力学分析
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
LI Xin;YU Honghao - 通讯作者：
YU Honghao
Novel Capacitive Tactile Sensing Array With Common Electrode Based on Hybrid-Frequency Excitation
基于混合频率激励的新型共电极电容式触觉传感阵列
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
LI Xin;YU Jianping;LU Keqing - 通讯作者：
LU Keqing
LI Xin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('LI Xin', 18)}}的其他基金
Development of an air conveyor using swirling airflow to float LCD glass substrate
开发利用旋转气流漂浮液晶玻璃基板的空气输送机
- 批准号：
23760131 - 财政年份：2011
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似国自然基金
高性能边缘计算混合访问控制技术研究
- 批准号：62302358
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
用户为中心的流数据密文访问控制关键技术研究
- 批准号：62372096
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
面向动态策略的访问控制加密研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
访问控制函数加密体制及细粒度隐私计算理论与方法
- 批准号：62272124
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：面上项目
支持细粒度访问控制的内积函数加密机制研究
- 批准号：
- 批准年份：2022
- 资助金额：54 万元
- 项目类别：面上项目
相似海外基金
Collaborative Research: NeTS: Medium: EdgeRIC: Empowering Real-time Intelligent Control and Optimization for NextG Cellular Radio Access Networks
合作研究：NeTS：媒介：EdgeRIC：为下一代蜂窝无线接入网络提供实时智能控制和优化
- 批准号：
2312978 - 财政年份：2023
- 资助金额：
$ 1.91万 - 项目类别：
Standard Grant
Increasing access to cancer trials in Minnesota (InACT-MN)
增加明尼苏达州癌症试验的机会 (InACT-MN)
- 批准号：
10636408 - 财政年份：2023
- 资助金额：
$ 1.91万 - 项目类别：
Neural and affective mechanisms underlying prospective self-control costs
潜在自我控制成本的神经和情感机制
- 批准号：
10660515 - 财政年份：2023
- 资助金额：
$ 1.91万 - 项目类别：
A Dry Electrode for Universal Accessibility to EEG
用于普遍获取脑电图的干电极
- 批准号：
10761609 - 财政年份：2023
- 资助金额：
$ 1.91万 - 项目类别：
Uncovering sleep and circadian mechanisms contributing to adverse metabolic health
揭示导致不良代谢健康的睡眠和昼夜节律机制
- 批准号：
10714191 - 财政年份：2023
- 资助金额：
$ 1.91万 - 项目类别：