【摘 要】
：
已有的云安全防护方法如加密、访问控制和虚拟机隔离等不能够提供数据端到端的安全防护。首先,提出了一个面向云环境的双层信息流控制模型,给出了模型的关键要素定义、集中式
【机 构】
：
信息工程大学密码工程学院,密码科学技术国家重点实验室
【基金项目】
：
国家高技术研究发展计划(863)(No.2015AA016006,No.2012AA012704)
论文部分内容阅读
已有的云安全防护方法如加密、访问控制和虚拟机隔离等不能够提供数据端到端的安全防护。首先,提出了一个面向云环境的双层信息流控制模型,给出了模型的关键要素定义、集中式与分布式信息流控制规则、能力标记调整规则、标记传播规则和降密规则.然后,综合动态污点跟踪和虚拟机自省技术,设计并实现了原型系统IFCloud,可为云租户提供信息流跟踪与控制即服务,为云平台提供常见系统攻击如栈溢出、缓冲区溢出等攻击的防护机制.最后,给出了原型系统IFCloud的功能测试结果.表明IFCloud能够灵活、正确、实时地跟踪和控制云下敏
其他文献
摘要：采取低温气化和水洗脱碱处理黑液。考察了在不同温度（200～700℃）、不同停留时间（10～60min）条件下，低温气化的气化率、碱提取率对COD、BOD及色度的消除效果。实验结果表明，较高的
研究了氯氧化镁铝及其与乙基纤维素（EC）联合使用对松香溶液的乳化作刚。结果表明，氰氧化镁铝町以乳化松香溶液，但稳定时间很短。氧氧化镁铝0EC联合使用，乳化效果和乳液稳定性均显
想必80、90后的亲们，对迪士尼动画一定不陌生。迪士尼给我们塑遣了许多经典的人物——白雪公主、美人鱼、小红帽、灰姑娘等，每一个童话故事都是以“从此过上幸福快乐的日子”结
果树穿衣，竹木加工，新技术推广，良种藕基地。2012年1月7日，在地处长江上游北岸的重庆市永川区朱沱镇，一幅科技兴农的景象展现眼前：连龙眼树也穿上了薄膜“冬衣”，躲避严寒。该镇科协
蜂蜜们,《疯狂英语》杂志要改版了。本期应该就是《疯狂英语·口语版》的最后一期。自创刊以来,《口语版》赢得了读者们的喜爱和支持。小编们非常感谢你们的支持和认可。
一种原居于太平洋小岛的迷你蜗牛实在是小巧可爱，甚至可以沿着硬币的边缘爬行，但这些蜗牛目前处于濒危状态，英国保育人士最近正积极呼吁保护这种迷你蜗牛。 这种蜗牛被命名为“Partula gibba snail”，它们出生时的体积只与大头针的针头一般大，长大后也非常迷你，可以在硬币的边缘爬行。这种濒危蜗牛原居于太平洋小岛，但在20世纪70年代因为一次人为错误而险些绝种。1974年，岛上的人为了控制一种
采用溶胶-凝胶法对纳米TiO2进行Fe^3＋掺杂改性处理，通过紫外一可见吸收光谱及XRD分析（x射线衍射分析），发现掺0．5％Fe^3＋的纳米TiO2在600℃下煅烧4h后成为锐钛型和金红石型共存的混合晶
面对全球的资源短缺与能源危机，生物质资源由于其町再生性和环保性而越来越受到人们的重视。生物质精炼（Biorefinery）作为一个重要的理念近来引起了人们的关注。制浆造纸工业作
江苏淮安市科协坚持“三服务一加强”的工作定位，按照“搭建平台、资源共享”的工作思路和“大联合、大协作”的工作方针，解放思想，扎实工作，在推动科学知识普及、繁荣学术交流与合作、服务科技人才发展等方面发挥了积极作用，为建设美丽富庶新淮安作出了贡献。 科普工作取得新发展 开展公民科学素养调查。为全面了解全市公民科学素质状况，为实施《全民科学素质行动计划纲要》提供基础性数据，今年年初，淮安市科协会同市
2012年，湖南醴陵市大力实施科技兴农战略，充分发挥农业科技对农业发展的支撑作用，积极组织并选派科技特派员下乡开展推广和培训各类农业实用技术活动，提高农民种养技术水平，为他们发展致富项目提供科技保障。 邓立平是醴陵市一名高级农艺师，从2009年至今一直是驻新立红薯种植农民专业协会特派员。4年来，他深入种植基地调查研究，指导协会引进了8个红薯新品种、测土新配方施肥等5项新技术，解决了红薯抗旱、抗薯