崔隽

作品数：5被引量：18H指数：2
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：形式化验证通信顺序进程移动支付J2ME平台J2ME更多>>
发文领域：自动化与计算机技术电子电信生物学医药卫生更多>>
发文期刊：《电子学报》《计算机学报》《计算机应用》《计算机科学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金江苏省高技术研究计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究
《计算机科学》2010年第6期147-154,共8页崔隽 黄皓 陈志贤 
863国家高技术研究发展计划(No:2007AA01Z409)资助
隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验...
关键词：不干扰模型 进程隔离 通信顺序进程 形式化验证 
扩展不干扰模型(ENISM)及基于CSP的描述和验证方法被引量：1
《计算机学报》2010年第5期877-889,共13页崔隽 黄皓 高晓春 
国家"八六三"高技术研究发展计划项目基金(2007AA01Z409);国家自然科学基金(60473093)资助~~
在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全...
关键词：不干扰模型 通信顺序进程 形式化描述 形式化验证 完整性 
基于不干扰理论的信道控制策略及其自动化验证方法
《计算机应用》2010年第3期708-714,共7页崔隽 黄皓 
国家863计划项目(2007AA01Z409);江苏省高技术项目(BE2008124)
通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略...
关键词：不干扰模型 信道控制 信息流 通信顺序进程 形式化验证 
基于双线性配对的可证安全的代理签名方案被引量：6
《电子学报》2009年第3期439-443,共5页许峰 崔隽 黄皓 
国家自然科学基金(No.60473091);国家863高技术研究发展计划项目(No.2007AA01Z409)
代理签名是指当某个签名者由于某种原因不能签名时,将签名权委托给他人替自己行使签名权的一种签名,代理签名在实际应用中有着重要的作用.提出了一个基于双线性配对的代理签名方案,并证明其在随机Oracle模型下是可证安全的.分析表明该...
关键词：代理签名 双线性配对 可证安全 
基于J2ME的移动支付安全方案研究被引量：11
《计算机科学》2008年第10期94-97,121,共5页许峰 崔隽 黄皓 
国家自然科学基金(60473091);国家“863”高技术研究发展计划项目基金(2007AA01Z409)资助
安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME...
关键词：移动支付 安全方案 密码体制 J2ME平台 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部