位置：成果数据库 > 期刊 > 期刊详情页
基于信任扩展的可信云执行环境
  • ISSN号：1671-4512
  • 期刊名称：《华中科技大学学报：自然科学版》
  • 时间：0
  • 分类：G642[文化科学—高等教育学;文化科学—教育学]
  • 作者机构：武汉大学计算机学院空天信息安全与可信计算教育部重点实验室,湖北武汉430079
  • 相关基金：2013年国家自然科学基金重点项目（针对量子计算机特点的公钥密码理论与关键技术研究61332019）; 2013年国家自然科学青年基金（多变量密钥交换协议及公钥加密算法研究61303212）资助
作者： 纪祥敏[1,2], 赵波[1], 陈璐[3], 向騻[1]
关键词： 密码学, 教学方法, 密码学精品课程, cryptography, teaching methods, excellent course of cryptography
中文摘要：

针对密码学课程的特点,结合密码学课程的建设体会和教学经验,对该课程的建设及教学方法提出了一些建议和设想,供同行交流探讨。

英文摘要：

According to the characteristics of cryptography course, this paper analyzes the constructions andteaching experiences of cryptography course, and proposes some suggestions and ideas to give a reference for otheruniversities.

同期刊论文项目
面向高安全等级要求的可信计算平台环境测评方法研究
期刊论文 39
虚拟化环境安全缺陷分析及安全性增强方法研究
期刊论文 79 会议论文 3
　云计算安全基础理论与方法研究
期刊论文 60
针对量子计算机特点的公钥密码理论与关键技术研究
期刊论文 58
同项目期刊论文
嵌入式系统的安全启动机制研究与实现
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
基于扩展LS2的VMM动态度量形式化分析
An Improved vTPM-VM Live Migration Protocol
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
vTSE：一种基于SGX的vTPM安全增强方案
IaaS下虚拟机的安全存储和可信启动
基于k近邻最弱前置条件的程序多路径验证方法
一种云平台可信性分析模型建立方法
Ng-vTPM：新一代TPM虚拟化框架设计
Dependence-Induced Risk： Security Metrics and Their Measurement Framework
静态可信度量根安全证明方法
授权约束下的平台配置证明研究
基于污点跟踪的固件漏洞定位研究
信任关系辅助的隐反馈Web服务推荐研究
基于SMM的密钥传输方案的设计与实现
基于信誉权值策略的多重第三方远程证明机制
SHA-3算法安全性的代数分析
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
HyperSpector：基于UEFI的VMM动态可信监控基的设计与实现
A Private User Data Protection Mechanism in TrustZone Architecture Based on Identity Authentication
一种基于VT-d技术的虚拟机安全隔离框架研究
C-TNC：适用于Openstack的可信云接入协议
An optimized program analysis based on constraint logic programming
Research on hardware security of embedded system in cloud environment
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSSDeadlock based on Value Evaluation
基于可信模块的面向云存储用户的密钥管理机制研究
一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法
嵌入式系统的安全启动机制研究与实现
A security-Improved Scheme for Virtual TPM Based on KVM
相关路径静态分析中协同式逆向推理方法
基于软件定义网络的非集中式信息流控制系统——S-DIFC
HBROP：基于硬件性能计数器的函数级ROP检测
虚拟机环境下并行信任关系研究与实现
面向IaaS的TRSAC访问控制策略研究与实现
适用于虚拟化环境的进程隔离方法研究与实现
TPM 2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案研究
Trusted Mobile Payment Environment Based on Trusted Com-puting and Virtualization Technologies
 A Formal Analysis of TPM 2.0 HMAC Authorization under DRM Scenario
 Multi-bit LWE-based Encryption Scheme without Decryption Errors
Security risk analysis of IaaS based on the Abstract State Machine model
An Efficient Anonymous Remote Attestation Scheme for Trusted Computing based on Improved CPK
Dynamic Measurement Protocol in Infrastructure as a Service
A Resistant Quantum Key Exchange Protocol and Its Corresponding Encryption Scheme
A security-Improved Scheme for Virtual TPM Based on KVM
Extensionimplementation of TCM in the embedded system based on FPGA
基于动态协同双向映射的相似执行路径生成方法
Research on Softwareprotection method based on USBKey
Formal Analysis ofInformation Card Federated Identity-Management Protocol
云GIS中远程证明通信机制的研究
基于可信模块的云存储用户密钥管理机制研究
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
TPM 2.0密钥复制安全性增强方案
基于扩展LS2的VMM动态度量形式化分析
An optimized memory integrity verification mechanism based on advanced hot window Hash tree
一种面向IaaS租户的资源完整性度量协议
基于结构熵的IaaS平台耦合度计算方法研究
Dynamic Measurement Protocol in Infrastructure as a Service
An Improved vTPM-VM Live Migration Protocol
An insecure information flow path search method in decentralized information flow controlsystem
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
Effect:An Operational View Mechanism for Decentralized Information Flow Control
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
IaaS下虚拟机的安全存储和可信启动
基于k近邻最弱前置条件的程序多路径验证方法
虚拟机环境下并行信任关系研究与实现
一种云平台可信性分析模型建立方法
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于谓词抽象的测试用例约简生成方法
Hiding Information in MPEG Sequences by Using of B-Frames
基于污点跟踪的固件漏洞定位研究
信任关系辅助的隐反馈Web服务推荐研究
基于SMM的密钥传输方案的设计与实现
基于信誉权值策略的多重第三方远程证明机制
SHA-3算法安全性的代数分析
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法
ATrusted Mobile Payment Environment Based on Trusted Computing and Virtualization Technology
一种基于VT-d技术的虚拟机安全隔离框架研究
C-TNC：适用于Openstack的可信云接入协议
嵌入式系统的安全启动机制研究与实现
矩阵分解在密码中应用研究
一种基于纠错码的数字签名协议
S-Tracker:基于栈异常的shellcode检测方法
针对轻量化掩码方案的功耗分析方法
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
基于扩展LS2的VMM动态度量形式化分析
Toward an RSU-unavailable Lightweight Certificateless Key Agreement Scheme for VANETs
Dynamic Measurement Protocol in Infrastructure as a Service
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
连续变量量子密钥分发技术研究进展
群速度色散对于纠缠光场二阶关联函数影响的研究
连续变量量子密钥分发系统同步方案及实现
相干态统计特性的弱测量结构研究
基于k近邻最弱前置条件的程序多路径验证方法
一种云平台可信性分析模型建立方法
VI-2类5维q元线性码的汉明重量谱的确定
破解R.S.Bhalerao公钥加密方案
基于0.1π旋转相位Grover算法的ECC电压毛刺攻击算法
量子计算复杂性理论综述
Cryptanalysis of Schemes Based on Pseudoinverse Matrix
New Public-Key Cryptosystem Based on the Morphism of Polynomials Problem
Cryptanalysis of Public Key Cryptosystems Based on Non-Abelian Factorization Problems
软件二进制代码重用技术综述
Byzantine Fault-Tolerant Routing for Large-Scale Wireless Sensor Networks Based on Fast ECDSA
第一寄存器小Qubit量子计算攻击RSA研究
量子计算机的商业化进展及对信息安全的挑战
基于污点跟踪的固件漏洞定位研究
基于SMM的密钥传输方案的设计与实现
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
Survey on Key Technology Development and Application in Trusted Computing
ECC计时攻击研究与仿真
Design and Implementation of Weibo Sentiment Analysis Based on LDA and Dependency Parsing
基于无证书公钥体制的层簇式WSN密钥管理方案
基于Docker的可信容器
基于ARM与S3C44B0X的火灾图像中受困人员定位系统设计
基于P2P网络模型的Web搜索引擎用户隐私保护
云环境下Web服务应用层DDoS攻击检测系统
一种改进的MP3被动篡改定位检测算法
基于SGX的虚拟机动态迁移安全增强方法
A New Relay Attack on Distance Bounding Protocols and Its Solution with Time-Stamped Authentication for RFID
Towards Fast Repackaging and Dynamic Authority Management on Android
A Class of the Hamming Weight Hierarchy of Linear Codes with Dimension 5
A New Quantum Algorithm for Computing RSA Ciphertext Period
量子蚁群算法的大规模无线传感网可信安全路由设计
星际骨干网的轻量级密码体制研究
Weak value amplification via second-order correlated technique
C-TNC：适用于Openstack的可信云接入协议
Key Exchange Protocol Based on Tensor Decomposition Problem
Mitigating ROP Attacks via ARM-Specific In-Place Instruction Randomization
基于Grover量子中间相遇搜索算法的ECC攻击错误bit的修正
嵌入式系统的安全启动机制研究与实现
矩阵分解在密码中应用研究
一种基于纠错码的数字签名协议
S-Tracker:基于栈异常的shellcode检测方法
A security-Improved Scheme for Virtual TPM Based on KVM
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
基于扩展LS2的VMM动态度量形式化分析
Dynamic Measurement Protocol in Infrastructure as a Service
An Improved vTPM-VM Live Migration Protocol
Fine-grained and Heterogeneous Proxy Re-Encryption for Secure Cloud Storage
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
HBROP：基于硬件性能计数器的函数级ROP检测
IaaS下虚拟机的安全存储和可信启动
基于k近邻最弱前置条件的程序多路径验证方法
基于软件定义网络的非集中式信息流控制系统——S-DIFC
一种云平台可信性分析模型建立方法
Ng-vTPM：新一代TPM虚拟化框架设计
破解R.S.Bhalerao公钥加密方案
HKKS密钥交换协议分析
量子计算复杂性理论综述
Cryptanalysis of Schemes Based on Pseudoinverse Matrix
Cryptanalysis of Public Key Cryptosystems Based on Non-Abelian Factorization Problems
Dependence-Induced Risk： Security Metrics and Their Measurement Framework
软件二进制代码重用技术综述
基于污点跟踪的固件漏洞定位研究
信任关系辅助的隐反馈Web服务推荐研究
基于SMM的密钥传输方案的设计与实现
基于信誉权值策略的多重第三方远程证明机制
SHA-3算法安全性的代数分析
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
A Private User Data Protection Mechanism in TrustZone Architecture Based on Identity Authentication
Survey on Key Technology Development and Application in Trusted Computing
一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法
ATrusted Mobile Payment Environment Based on Trusted Computing and Virtualization Technology
可搜索加密的研究进展
Design and Implementation of Weibo Sentiment Analysis Based on LDA and Dependency Parsing
基于Docker的可信容器
基于P2P网络模型的Web搜索引擎用户隐私保护
一种改进的MP3被动篡改定位检测算法
基于SGX的虚拟机动态迁移安全增强方法
一种基于KVM的vTPM虚拟机动态迁移方案
一种TrustZone架构下的密钥管理机制
基于无证书公钥密码的HCE移动支付方案
TSSP：一种TrustZone架构中的会话调度方案
Building a Secure Block Ciper on Small and Non- Binary Domain
虚拟可信平台模块动态信任扩展方法
Software Watermarking Scheme Based on Multivariate Public Key Cryptosystem
基于差分隐私的大数据隐私保护
Dependability Analysis for Fault-Tolerant Computer Systems Using Dynamic Fault Graphs
一种基于VT-d技术的虚拟机安全隔离框架研究
C-TNC：适用于Openstack的可信云接入协议
Key Exchange Protocol Based on Tensor Decomposition Problem
UiLog： Improving Log-Based Fault Diagnosis by Log Analysis
多变量密码体制软件水印技术
Mitigating ROP Attacks via ARM-Specific In-Place Instruction Randomization
期刊信息
  • 《华中科技大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:华中科技大学
  • 主编：丁烈云
  • 地址：武汉珞喻路1037号
  • 邮编：430074
  • 邮箱：hgxbs@mail.hust.edu.cn
  • 电话：027-87543916 87544294
  • 国际标准刊号：ISSN：1671-4512
  • 国内统一刊号：ISSN：42-1658/N
  • 邮发代号:38-9
  • 获奖情况:
  • 全国优秀科技期刊,首届国家期刊奖,第二届全国优秀科技期刊评比一等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:21013