基于可信計(jì)算理論的豬肉安全追溯系統(tǒng)安全模型研究.pdf

1、豬肉安全追溯系統(tǒng)本質(zhì)上是一個(gè)極其重要的高安全等級(jí)信息系統(tǒng)。換句話說(shuō)，如果在這個(gè)系統(tǒng)中有安全問(wèn)題發(fā)生，它會(huì)對(duì)許多人的生命造成重要的影響，甚至影響社會(huì)的安全與穩(wěn)定。因此豬肉安全追溯系統(tǒng)要能夠保證各級(jí)生產(chǎn)商可以在各個(gè)生產(chǎn)環(huán)節(jié)中跟蹤產(chǎn)品，并保證消費(fèi)者可購(gòu)買到具有質(zhì)量安全保障的、可追溯的豬肉食品。這就要求豬肉安全追溯系統(tǒng)能夠真實(shí)記錄豬肉食品的整個(gè)加工過(guò)程、供應(yīng)鏈體系中的有關(guān)豬肉食品安全的敏感信息，防止這些敏感信息被非法篡改或泄漏給非法人員，保證信

2、息真實(shí)可靠。
　　 目前，國(guó)內(nèi)外對(duì)豬肉安全追溯系統(tǒng)的安全模型研究工作是孤立、片面地思考信息系統(tǒng)的安全問(wèn)題，而沒(méi)將其看成一個(gè)整體，不能從根本上保證豬肉安全追溯系統(tǒng)中信息的真實(shí)可靠。本文將豬肉安全追溯系統(tǒng)看成一個(gè)整體，應(yīng)用可信計(jì)算的觀點(diǎn)、方法來(lái)分析該信息系統(tǒng)的安全。根據(jù)可信鏈在豬肉安全追溯系統(tǒng)的“三流”（物流、信息流和控制流）中可信傳遞和擴(kuò)展的特點(diǎn)，提出了六個(gè)安全模型：訪問(wèn)控制模型、域間可信認(rèn)證模型、核銷模型、可信度量模型、數(shù)據(jù)可信