Automated security analysis of web applications

Web 应用程序的自动安全分析

基本信息

  • 批准号：
    25730039
  • 负责人：
    LI Xin
  • 金额：
    $ 1.91万
  • 依托单位：
    The University of Tokyo
  • 依托单位国家：
    日本
  • 项目类别：
    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
  • 期刊：
    Ipsj Online Transactions
  • 影响因子：
    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
A web-demo interface of CWPDS model checker
CWPDS 模型检查器的网络演示界面
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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其他文献

Preparation and Performance of Electrodeposited Cr-Pr Coating
电沉积Cr-Pr涂层的制备及性能
  • DOI：
  • 发表时间：
    2014
  • 期刊：
    Applied Mechanics and Materials
  • 影响因子：
    0
  • 作者：
    LIU Xiaozhen;WANG Sansan;LIU Xiaozhou;CHEN Jie;LI Xin;YANG Lei
  • 通讯作者：
    YANG Lei
慢病毒介导的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
Kinetic Analysis of Thermal Decomposition of Flame–Retarded Polyester/ Natural Brucite Composites
阻燃聚酯/天然水镁石复合材料热分解动力学分析
Novel Capacitive Tactile Sensing Array With Common Electrode Based on Hybrid-Frequency Excitation
基于混合频率激励的新型共电极电容式触觉传感阵列
  • DOI：
  • 发表时间：
    2018
  • 期刊：
    传感技术学报
  • 影响因子：
    0
  • 作者：
    LI Xin;YU Jianping;LU Keqing
  • 通讯作者：
    LU Keqing
变形态Ti40合金的高温流变应力模型研究
  • DOI：
  • 发表时间：
    2012
  • 期刊：
    锻压技术
  • 影响因子：
    0
  • 作者：
    CAO Jing-xia;李鑫;鲁世强;王克鲁;黄旭;曹京霞;WANG Fang;LI Xin;LU Shi-qiang
  • 通讯作者：
    LU Shi-qiang

LI Xin的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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)

相似海外基金

Research on Dynamic IoT Security Access Control Infrastructure for Realizing Zero Trust
实现零信任的动态物联网安全访问控制基础设施研究
  • 批准号：
    23K11089
  • 财政年份：
    2023
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
CRII: HCC: RUI: Transparency and Access Control in Life Science Data Sharing
CRII：HCC：RUI：生命科学数据共享中的透明度和访问控制
  • 批准号：
    2225345
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Standard Grant
Intelligent medium access control (MAC) protocols for 6G (6th generation) wireless networks
适用于 6G（第六代）无线网络的智能媒体访问控制 (MAC) 协议
  • 批准号：
    558521-2021
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
CRII: HCC: RUI: Transparency and Access Control in Life Science Data Sharing
CRII：HCC：RUI：生命科学数据共享中的透明度和访问控制
  • 批准号：
    2153500
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Standard Grant
Collaborative Research: EAGER: Understanding User Needs for Access Control Systems in Smart Settings
合作研究：EAGER：了解智能设置中访问控制系统的用户需求
  • 批准号：
    2219921
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Standard Grant
Collaborative Research: EAGER: Understanding User Needs for Access Control Systems in Smart Settings
合作研究：EAGER：了解智能设置中访问控制系统的用户需求
  • 批准号：
    2219920
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Standard Grant
Enabling future mobile wireless networks edge with adaptive access control and caching
通过自适应访问控制和缓存实现未来移动无线网络边缘
  • 批准号：
    RGPIN-2021-03076
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Discovery Grants Program - Individual
Access Control Models and Technologies for the Internet of Things
物联网访问控制模型和技术
  • 批准号：
    RGPIN-2020-05238
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Discovery Grants Program - Individual
Privacy-aware Smart Access Control for Internet-of-Things on Blockchain
区块链上物联网的隐私感知智能访问控制
  • 批准号：
    DP220100215
  • 财政年份：
    2022
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Discovery Projects
Intelligent medium access control (MAC) protocols for 6G (6th generation) wireless networks
适用于 6G（第六代）无线网络的智能媒体访问控制 (MAC) 协议
  • 批准号：
    558521-2021
  • 财政年份：
    2021
  • 资助金额：
    $ 1.91万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了