《面向行为可信的大数据安全系统形式化描述-论文》.pdfVIP

|j| ≮2 | 一 专题：网络信息安全 一 面向行为可信的大数据安全系统形式化描述 闰 智 ’，詹 静 1,2,3 (1．北京工业大学计算机学院 北京 100124；2．可信计算北京市重点实验室 北京 100124； 3．信息安全等级保护关键技术国家工程实验室 北京 100124) 摘 要 ：大数据 的存储和分析通常是在云计算环境下利用 Hadoop计算框架进行处理，而基于云的大数据安全 风险来源于云计算服务商 以及远程数据应用者对未授权文件及 内容的越权操作 。针对云中大数据应用 的安全 问题 ．提 出了面向行为可信的大数据服务系统 。采用 Z形式化方法对该系统进行描述 ，给出了读取、更新、添加 及删除操作的抽象行为定义。根据模型中的抽象行为，划分可信行为与恶意行为，并给出了各个操作的安全分 析 。最后通过 Z／EVES工具对该系统描述 的正确性进行 了证 明和验证 。 关键词 ：大数据 ；云计算安全 ；形式化 ；Z语言 ；可信行为 ；Hadoop doi：10．3969~．issn．1000—0801．2014．07．006 FormalDescriptionofTrustedBehaviorOriented SecuritySystem forBigData YanZhi．ZhanJing’五 (1．CollegeofComputerScience，BeijingUniversityofTechnology，Beijing100124，China； 2．BeijingMunicipalKeyLaboratoryofTrustedComputing，Beijing100124，China； 3．NationalEngineeringLaboratoryforCriticalTechnologiesofInformationSecurityClassifiedProtection，Beijing100124，China) Abstract：Usuallytheprocessofstoringandanalyzingwith bigdataisundertheframework ofHadoopwithin the environmentofcloudcomputingwhiletherisksofbigdataapplicationoncloudderivefrom cloudserviceproviders andremoteuserswhoaccessdatawithoutauthorization．Basedonthesecurityissuesofbigdataapplyingoncloud， asecuritysystem forbigdataoriented by trusted behaviorwasgiven．Thesystem with Z fomr alspecification was describedandthedefinition ofabstractbehaviorswhichcontainsreading，updating，addingand deletingoperation wasgiven．According tothe abstractbehaviormodel，behaviors were divided intotursted behaviorandmalicious behavior and security analysison each operation was given．Byusing Z／EVES toolverified and proved the correctnessabouthtedescription． Keywords：bigdata，cloudcom