猪肉安全追溯系统本质上是一个极其重要的高安全等级信息系统。换句话说，如果在这个系统中有安全问题发生，它会对许多人的生命造成重要的影响，甚至影响社会的安全与稳定。因此猪肉安全追溯系统要能够保证各级生产商可以在各个生产环节中跟踪产品，并保证消费者可购买到具有质量安全保障的、可追溯的猪肉食品。这就要求猪肉安全追溯系统能够真实记录猪肉食品的整个加工过程、供应链体系中的有关猪肉食品安全的敏感信息，防止这些敏感信息被非法篡改或泄漏给非法人员，保证信息真实可靠。　　 目前，国内外对猪肉安全追溯系统的安全模型研究工作是孤立、片面地思考信息系统的安全问题，而没将其看成一个整体，不能从根本上保证猪肉安全追溯系统中信息的真实可靠。本文将猪肉安全追溯系统看成一个整体，应用可信计算的观点、方法来分析该信息系统的安全。根据可信链在猪肉安全追溯系统的“三流”（物流、信息流和控制流）中可信传递和扩展的特点，提出了六个安全模型：访问控制模型、域间可信认证模型、核销模型、可信度量模型、数据可信存储模型和干扰发现模型。通过这六个安全模型可以保证猪肉食品安全信息在用户空间层的可信传递和度量，从源头上杜绝了食品安全信息被非法篡改或泄漏给非法人员。本文对六个安全模型进行了设计原理和实现技术的研究，其中重点实现了无干扰访问控制模型和域间可信认证模型并通过原型系统和仿真进行了验证。