基于动态联盟关系的中国墙模型研究 

BN中国墙模型及其诸多变种对写操作约束过强,从而导致在利用冲突关系进行资源划分时,需要事先静态划分访问区域。提出了一种基于动态联盟关系的中国墙模型,该模型通过建立联盟关系实现对利益冲突关系的扩展,从而动态地构建访问区域。证明了该模型能实现与BN中国墙模型相同的安全目标,并通过应用分析展示了该模型可以用于虚拟机系统的隐形...
《通信学报》  2009年 第11期 下载次数(194)| 被引次数(7)

关于我省获得2012年度中国墙体屋面及道路用建筑材料产品质量信誉模范企业、质量管理先进单位、优秀厂长、经理和质量管理先进工作者的情况通报 

2012年12月8日至12月13日,中国砖瓦工业协会和国家建筑材料工业墙体屋面材料质量监督检验测试中心在西安召开了2012年全国墙体屋面及道路用建筑材料产品质量国家监督抽查、重点企业检查分析总结会。会议分析总结了2012年度全国墙体屋面及道路用建筑材料产品质量国家监督抽查、重点企业检查工作情况;表彰了2012年度...
《江西建材》  2012年 第06期 下载次数(12)| 被引次数(0)

关于召开“第27届中国墙体屋面节能材料设备暨配套产品博览会、2013年国际砖瓦节能减排高层论坛”、“2013年中国(北京)新型砖瓦节能创新技术论坛”的通知 

中砖协字[2013]13号各会员及有关单位:为认真贯彻国家产业政策,大力推广砖瓦行业节能减排和科技创新,促进砖瓦产业和产品结构调整,向下游产业延伸,推进节能、绿色、安全建筑的建设,经中国建材联合会批准,定于2013年5月9日~11日在北京召开中国砖瓦行业的年度盛会 第
《砖瓦世界》  2013年 第05期 下载次数(8)| 被引次数(0)

本刊隆重推出“中国墙材革新与建筑节能20年”大型征文活动 

见证墙改发展历程肩负行的责任使命1988年11月,原国家建材局、建设部、农业部、原国家土地局联合成立 墙体材料革新与建筑节能领导小组办公室
《墙材革新与建筑节能》  2008年 第04期 下载次数(9)| 被引次数(0)

本刊隆重推出“中国墙材革新与建筑节能20年”大型征文活动 

见证墙改发展历程肩负行业责任使命1988年11月,原国家建材局、建设部,农业部、原国家土地局联合成立 墙材革新与建筑节能领导小组办公室 ,运用系统工程推进墙体材料革新和建筑节能工作,一场震撼中国建筑界和建材界的伟大改革
《墙材革新与建筑节能》  2008年 第06期 下载次数(10)| 被引次数(0)

砖瓦节能减排 

以促进中国砖瓦科技创新和节能减排为主题的 2012年中国(成都)国际砖瓦节能高层论坛 和向下游产业延伸的 全球环境基金节能砖与农村节能建筑市场转化项目 现场推广会议将于2012年11月16日在成都市与 中国砖瓦工业协会2012年年会、第26届中国墙体屋面材料、设备暨配套产品博览会 同时召开。届时,将邀请政府有关部...
《砖瓦世界》  2012年 第10期 下载次数(22)| 被引次数(0)