针对HDFS已有保护方法如认证授权、数据加密、访问控制和审计方法都不能保证敏感数据端到端的安全性,提出了一个用于HDFS的安全代数语言SALH(security algebra language for HDFS),给出了SALH的语义和语法;采用SALH形式化描述了HDFS信...针对HDFS已有保护方法如认证授权、数据加密、访问控制和审计方法都不能保证敏感数据端到端的安全性,提出了一个用于HDFS的安全代数语言SALH(security algebra language for HDFS),给出了SALH的语义和语法;采用SALH形式化描述了HDFS信息流跟踪和控制模型并证明了模型的无干扰安全性。最后,给出了原型系统IF-HDFS设计与实现关键技术,原型系统的功能和性能测试结果表明IF-HDFS可实时、有效、准确地实现信息流跟踪与控制。展开更多
[Objective] The paper is to construct the logistics tracking management system of tropical agricultural products based on supply chain.[Method] With tropical agricultural products in Hainan as study object,based on lo...[Objective] The paper is to construct the logistics tracking management system of tropical agricultural products based on supply chain.[Method] With tropical agricultural products in Hainan as study object,based on logistics supply chain files and electronic tag coding of agricultural products,cold chain temperature and humidity monitoring,vehicle transportation positioning,data exchange of XML Web services and role-based permission dynamic allocation,the multi-level multi-permission and multi-role logistics tracking management system of tropical agricultural products has been established.[Result] The system constructs information exchange platform for various links of logistics supply chain of tropical agricultural products,which realizes the entire quality monitoring and information tracing of agricultural products,thus enhancing the competitiveness of supply chain in company.[Conclusion] The system has good application and extension prospect.展开更多
文摘针对HDFS已有保护方法如认证授权、数据加密、访问控制和审计方法都不能保证敏感数据端到端的安全性,提出了一个用于HDFS的安全代数语言SALH(security algebra language for HDFS),给出了SALH的语义和语法;采用SALH形式化描述了HDFS信息流跟踪和控制模型并证明了模型的无干扰安全性。最后,给出了原型系统IF-HDFS设计与实现关键技术,原型系统的功能和性能测试结果表明IF-HDFS可实时、有效、准确地实现信息流跟踪与控制。
文摘[Objective] The paper is to construct the logistics tracking management system of tropical agricultural products based on supply chain.[Method] With tropical agricultural products in Hainan as study object,based on logistics supply chain files and electronic tag coding of agricultural products,cold chain temperature and humidity monitoring,vehicle transportation positioning,data exchange of XML Web services and role-based permission dynamic allocation,the multi-level multi-permission and multi-role logistics tracking management system of tropical agricultural products has been established.[Result] The system constructs information exchange platform for various links of logistics supply chain of tropical agricultural products,which realizes the entire quality monitoring and information tracing of agricultural products,thus enhancing the competitiveness of supply chain in company.[Conclusion] The system has good application and extension prospect.
