李莉
- 作品数：5 被引量：13H指数：3
- 供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于时态逻辑的可信平台信任链建模被引量：5
- 2008年
- 针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件。
- 李莉李莉曾国荪
- 关键词：信任模态逻辑
- 银行支付交易中电子影像系统的研究与实现被引量：4
- 2007年
- 随着凭证在支付交易中的作用越来越重要,传统纸质凭证已不能满足人们对效率和可靠性等方面的要求。为此,电子影像系统便应运而生。从电子影像系统的原理及其在银行业中应用的角度出发,对银行数据库中生成可供交换的影像文件问题进行研究和探讨。
- 李莉吴永明
- 关键词：银行电子数据
- 开放网络环境下的属性远程证明被引量：4
- 2008年
- 为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境。
- 李莉李莉曾国荪
- 关键词：可信计算远程证明
- 组合E-服务的活动链行为模式设计及验证
- 2011年
- 提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.
- 陈波曾国荪李莉鲍宇
- 基于约束逻辑的非单调属性委托
- 2008年
- 分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的,与原有的类似模型相比具有更强的表达能力。
- 陈波曾国荪李莉
- 关键词：代理授权
