崔隽
- 作品数：10 被引量：21H指数：2
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金江苏省高技术研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信生物学医药卫生更多>>
- 一种基于通信网络的电子发票的生成和交互使用方法
- 本发明是一种基于通信网络的电子发票的生成和交互使用方法。网上电子发票是一种适合在网上传输的电子形式的发票，其内容与纸质发票相似，其产生过程需利用对称和非对称的密码技术，从而保证发票的防伪性、机密性、不可抵赖性。电子发票通...
- 黄皓许峰崔隽高晓春
- 文献传递
- 基于可信硬件与虚拟机的微内核操作系统完整性保护方法
- 本发明涉及的是基于可信硬件与虚拟机的微内核操作系统完整性保护方法，采用可信硬件平台、虚拟机作为微内核可信操作系统的安全基础；采用两层保护机制通过虚拟机和微内核来确保操作系统自身以及上层服务和应用的完整性；利用可信平台实现...
- 黄皓崔隽黄松华
- 文献传递
- 基于J2ME的移动支付安全方案研究被引量：11
- 2008年
- 安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME的移动支付安全方案,重点解决无线环境下的用户的认证问题,来保证针对宏支付的移动支付系统的安全。分析测试验证了该安全方案的安全性及可行性。
- 许峰崔隽黄皓
- 关键词：移动支付密码体制J2ME平台
- 扩展不干扰模型(ENISM)及基于CSP的描述和验证方法被引量：1
- 2010年
- 在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全状态的基础;(2)给出判定系统中不存在违反策略的执行轨迹和数据流动的条件ENISM-CC;(3)基于通信顺序进程给出ENISM-CC的语义及操作系统模块设计的形式化描述和验证方法.
- 崔隽黄皓高晓春
- 关键词：通信顺序进程形式化描述形式化验证完整性
- Bcl-2家族蛋白调控线粒体外膜通透性的细胞自动机模拟
- 当细胞受压力胁迫时，线粒体外膜通透性增加，同时线粒体膜间促凋亡分子会向胞质中释放，从而激活下游的凋亡事件。Bcl-2家族蛋白直接参与调节线粒体外膜上的凋亡分子释放孔道的形成。我们综合了线粒体外膜渗漏的两种调控机制，用布朗...
- 陈春崔隽张帅沈萍萍
- 关键词：家族蛋白BCL-2蛋白细胞自动机外膜通透性
- 文献传递
- 基于扩展的不干扰模型的系统完整保护研究
- 本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型...
- 崔隽黄皓陈志贤
- 关键词：微内核操作系统
- 文献传递
- 基于不干扰理论的信道控制策略及其自动化验证方法
- 2010年
- 通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略正是基于上述目的。而针对信道控制策略复杂而不便于手工验证的特点,提出了基于通信顺序进程(CSP)的系统和策略描述方法以及基于FDR2的系统信息流策略自动化验证方法。该方法能够在少量的人工参与的情况下有效地分析信道控制策略,发现大部分存储隐蔽通道。
- 崔隽黄皓
- 关键词：信息流通信顺序进程形式化验证
- NLRC5对天然免疫系统的调控作用机制研究
- 由抗原相关的分子模式(PAMPs)激发的天然免疫反应是机体抵抗微生物的第一道防线。PAMP的识别依赖于几种模式识别受体(PRRs),包括Toll样受体(TLRs)、NOD样受体(NLRs)和RIG-Ⅰ样受体(RLRs)。...
- 崔隽
- 关键词：天然免疫NOD样受体NF-ΚB抗病毒反应
- 基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究
- 2010年
- 隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验证工具FDR2来实现系统内隔离策略的自动化验证。以基于虚拟机的文件服务监控器为例,展示了如何利用CSP来建模一个系统及其隔离策略以及如何利用FDR2来验证该系统模型满足给定的隔离策略。
- 崔隽黄皓陈志贤
- 关键词：通信顺序进程形式化验证
- 基于双线性配对的可证安全的代理签名方案被引量：7
- 2009年
- 代理签名是指当某个签名者由于某种原因不能签名时,将签名权委托给他人替自己行使签名权的一种签名,代理签名在实际应用中有着重要的作用.提出了一个基于双线性配对的代理签名方案,并证明其在随机Oracle模型下是可证安全的.分析表明该方案比Zhang等的代理签名方案有更高的效率.
- 许峰崔隽黄皓
- 关键词：代理签名双线性配对可证安全
