论文部分内容阅读
城市道路与桥梁中的现浇混凝土质量问题与措施分析
【机 构】
:
东方市市政园林管理局 海南东方 574600
【出 处】
:
建筑工程技术与设计
【发表日期】
:
2019年28期
其他文献
分析了目前可信计算平台中的设计缺陷,提出了一种简单有效的物理攻击.该攻击能绕过完整性度量对可信计算平台进行攻击.针对这种物理攻击,提出了基于信号完整性分析的TPM(trus
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台
会议
提出了可信密码模块软件栈的兼容性设计方案,采用软件工程中的策略模式,在软件栈TSS基础上内置兼容解释器,对应用和TCM的交互进行数据流解析以及数据结构和授权协议的转换,为
会议
提出了基于访问行为的终端安全模型,将终端访问行为抽象为"主体"、"客体"、"操作"和"安全策略"4个要素,用形式化的方法讨论了4要素与访问行为可信的关系,在访问行为可信的基
研究了手机节点的空间特性和移动特性,提出了一种新的手机蓝牙病毒传播模型.结合人类运动的行为模式,给出了移动环境下手机节点平均度的计算方法,结合渗流理论分析了蓝牙病毒
会议