计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
8期
26-30
,共5页
可信计算%基于属性的证明%BB+签名
可信計算%基于屬性的證明%BB+籤名
가신계산%기우속성적증명%BB+첨명
在可信计算环境中,为了弥补原有可信计算组织(TCG)提出的二进制证明方案的缺陷,提出了一种新型的基于属性的证明(Property-Based Attestation,PBA)方案.首先介绍了基于属性的证明思想及其安全模型；然后基于改进的BB+签名技术给出了一个具体的基于属性的证明构造方案,并与其他方案在性能上进行了比较；最后在随机预言模型下证明了该方案具有配置隐私及不可伪造等安全性.
在可信計算環境中,為瞭瀰補原有可信計算組織(TCG)提齣的二進製證明方案的缺陷,提齣瞭一種新型的基于屬性的證明(Property-Based Attestation,PBA)方案.首先介紹瞭基于屬性的證明思想及其安全模型；然後基于改進的BB+籤名技術給齣瞭一箇具體的基于屬性的證明構造方案,併與其他方案在性能上進行瞭比較；最後在隨機預言模型下證明瞭該方案具有配置隱私及不可偽造等安全性.
재가신계산배경중,위료미보원유가신계산조직(TCG)제출적이진제증명방안적결함,제출료일충신형적기우속성적증명(Property-Based Attestation,PBA)방안.수선개소료기우속성적증명사상급기안전모형；연후기우개진적BB+첨명기술급출료일개구체적기우속성적증명구조방안,병여기타방안재성능상진행료비교；최후재수궤예언모형하증명료해방안구유배치은사급불가위조등안전성.
