广东省高等学校高层次人才项目(2012)
- 作品数：3 被引量：13H指数：2
- 相关作者：唐韶华王曦过新伟温雅敏龚征更多>>
- 相关机构：华南理工大学中山大学广东商学院更多>>
- 发文基金：广东省高等学校高层次人才项目广州市科技计划项目中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 缩减轮数PRESENT算法的Biclique分析被引量：6
- 2013年
- 轻量级分组密码算法PRESENT由于其出色的硬件实现性能和简洁的轮函数设计,一经提出便引起了工业界与学术界的广泛关注.文中作者基于Biclique分析方法,首次提出针对21轮PRESENT-80算法的Biclique密钥恢复攻击方法.该攻击方法需要278.9的计算复杂度和264的数据复杂度.此外,针对PRESENT-80的Biclique攻击也可推广到相同轮数的PRESENT-128和DM-PRESENT压缩函数的安全性分析.与其它已公开密码学安全性分析结果相比,作者提出的Biclique攻击在内存复杂度上具有一定的优势.
- 龚征刘树生温雅敏唐韶华
- 关键词：物联网PRESENT
- 硬信息与软信息:孰重孰轻?——非上市中小企业贷款违约风险实证研究被引量：7
- 2015年
- 本文利用国内某商业银行的中小企业贷款违约数据，采用Logistic模型和随机效应Logistic模型对非上市中小企业贷款违约风险的影响因素进行实证分析。结果表明：非上市中小企业的硬信息指标特别是营运资金比率、负债比率对贷款违约有较大影响；软信息指标中的企业特征特别是企业在人行的信用记录、经营稳定性、水电税费变化趋势和银行信用对违约风险有显著影响；非上市中小企业企业主的个人特征，例如受教育程度、家庭年收入、持股比例和资产抵押率等对违约风险也具有较大影响。预测对比研究发现，软信息指标对贷款违约的预测能力高于硬信息指标，而随机效应Logistic模型的表现要强于Logistic模型；综合使用软信息和硬信息指标建立随机效应Logistic模型具有最佳的预测效果。研究结论对商业银行开展中小企业贷款业务和信贷风险评估具有参考价值。
- 过新伟王曦
- 关键词：中小企业贷款违约软信息
- 自动信任协商安全性的形式化分析与验证
- 2013年
- 为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.
- 刘欣欣唐韶华
- 关键词：自动信任协商安全性形式化分析APPLIEDΠ演算
