肉類食品安全論文：肉類食品安全追溯系統(tǒng)的可信體系結(jié)構(gòu)(已修改)
2025-01-25 17:40 本頁面
【正文】 文章源于科技論文發(fā)表網(wǎng)： :1003 59168 肉類食品安全論文：肉類食品安全追溯系統(tǒng)的可信體系結(jié)構(gòu)摘 要：目前，各種不同形式的肉類食品安全追溯工程普遍存在缺乏理論指導(dǎo)和統(tǒng)一規(guī)劃、建設(shè)目標(biāo)不清晰、工程設(shè)計不合理、缺少技術(shù)標(biāo)準(zhǔn)體系等問題，從根本上解決只停留在信息的追溯上而沒有通過安全流通控制理論來保證傳遞信息不被篡改，傳遞信息的可信問題。本項目針對基于上述問題和需求，圍繞肉類食品安全可追溯體系，以可信計算和安全體系結(jié)構(gòu)理論為指導(dǎo)初步提出一個完整的可信安全體系結(jié)構(gòu)，以改進(jìn)和推動食品安全追溯系統(tǒng)的實施。關(guān)鍵詞：肉類食品安全追溯；可信計算；信息流 無干擾0引言肉類食品消費安全是關(guān)系國計民生、社會安定的國家大事，已經(jīng)成為全國性的問題，商務(wù)部已經(jīng)開始部署實施全國性肉類食品消費安全與追溯體系工作。但是，由于肉類食品追溯體系的建設(shè)是一個復(fù)雜的工程,“從源頭到餐桌”涉及的環(huán)節(jié)眾多，要實現(xiàn)肉類食品的質(zhì)量管理控制，必須對肉類食品供應(yīng)鏈進(jìn)行優(yōu)化重組，對肉類食品安全管理進(jìn)行有效監(jiān)控，以建立肉類食品供應(yīng)鏈追溯體系。1基于可信計算的信息流劃分信息流的無干擾的思想是可信安全體系結(jié)構(gòu)的核心思想，它最早由Goguen等人提出，其思想是：對于系統(tǒng)中的安全域u和v，如果域u中的操作造成系統(tǒng)狀態(tài)的改變，從域v的角度來觀察系統(tǒng)，在域u的操作發(fā)生前和發(fā)生后，域v所觀察到的系統(tǒng)狀態(tài)是相同的，那么就認(rèn)為域u對于域v是無干擾的?；谛畔⒘鞯臒o干擾理論模型從動作和運行結(jié)果的角度建立系統(tǒng)安全可信策略模型，研究了基本的無干擾理論模型，給出無干擾模型的3個性質(zhì)，即單步一致性、結(jié)果一致性和局部一致性。借鑒以上思想方法本
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1