课题基金 / 基金详情

Verification of security protocols: a multi-agent systems approach

Verification of security protocols: a multi-agent systems approach
安全协议验证：多代理系统方法
批准号：
EP/E035655/1
负责人：
Alessio Lomuscio
金额：
$48.76万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2007
资助国家：
英国
项目状态：
已结题
起止时间：
2007 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FE035655%2F1
关键词：
Verificationsecurityprotocolsmultiagent

项目摘要

项目成果

Alessio Lomuscio的其他基金

相似基金

相关文献

中文摘要
翻译
该项目使用来自多代理系统、自动验证和形式逻辑领域的形式化工具和技术来研究计算机安全协议的自动验证。在该项目成功完成后，一系列安全协议将通过计算机工具进行自动验证。
英文摘要
The project investigates automatic verification of computer security protocols by using formal tools and techniques drawn from the areas of multi-agent systems, automatic verification and formal logic. Upon succesful completion of the project, a range of security protocols will be verified automatically by computer tools.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Abstraction in model checking multi-agent systems
DOI： 10.1145/1558109.1558144
发表时间： 2009-05
期刊：
影响因子： --
作者： [F. Russo]
通讯作者： F. Russo
Model checking detectability of attacks in multiagent systems
模型检查多代理系统中攻击的可检测性
DOI： --
发表时间： 2010
期刊： 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS10)
影响因子： --
作者： [Boureanu I]
通讯作者： Boureanu I
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [Mika Cohen;Mads Dam;A. Lomuscio;Hongyang Qu]
通讯作者： Mika Cohen;Mads Dam;A. Lomuscio;Hongyang Qu
MCMAS: an open-source model checker for the verification of multi-agent systems
DOI： 10.1007/s10009-015-0378-x
发表时间： 2017-02-01
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
影响因子： 1.5
作者： [Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco]
通讯作者： Raimondi, Franco
共 6 条
    SAIS: Secure AI assistantS
    • 批准号：
      EP/T026731/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $50.48万
    • 财政年份：
      2020
    • 负责人：
      Alessio Lomuscio
    • 依托单位：
      Imperial College London
    Trusted Autonomous Systems
    • 批准号：
      EP/I00520X/1
    • 项目类别：
      Fellowship
    • 资助金额：
      $135.88万
    • 财政年份：
      2010
    • 负责人：
      Alessio Lomuscio
    • 依托单位：
      Imperial College London
    METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
    • 批准号：
      EP/E02727X/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $38.9万
    • 财政年份：
      2007
    • 负责人：
      Alessio Lomuscio
    • 依托单位：
      Imperial College London
    国内基金
    海外基金
    黄淮海平原典型区域土壤盐渍化演变机制与发生风险防控对策研究
    存储安全中介系统理论、仿真和实现技术研究
    • 批准号：
      61070154
    • 项目类别：
      面上项目
    • 资助金额：
      30.0万元
    • 批准年份：
      2010
    • 负责人：
      韩德志
    • 依托单位：
      上海海事大学
    最优证券设计及完善中国资本市场的路径选择
    • 批准号：
      70873012
    • 项目类别：
      面上项目
    • 资助金额：
      27.0万元
    • 批准年份：
      2008
    • 负责人：
      彭龙
    • 依托单位：
      北京外国语大学