【2018hit计算机学院系统安全】实验三：完整性访问控制系统设计与实现

【2018hit计算机学院系统安全】实验三——完整性访问控制系统设计与实现，主要探讨的是如何构建一个安全的商业应用系统，以满足特定的完整性访问控制需求。实验的核心是基于Clark-Wilson模型，该模型强调数据完整性和操作顺序的重要性。 实验内容包括设计并实现一个完整性访问控制系统，该系统需符合商业公司的需求。这涉及到制定系统安全策略文档，编写系统设计报告，提供源代码和实现过程说明，以及撰写心得体会。系统应具有用户友好的交互界面，能够执行录入、查询等操作，并严格遵循责任分离原则。此外，系统还必须保存审计日志，确保所有操作的可追溯性。 在实验设计中，商业公司的应用场景是一个预定和支付货物的过程。这一流程包括采购员下单、供货方发货、接受员验收、会计部门校对并付款等环节。为了保证安全性，系统需要执行以下安全策略： 1. **主体认证**：所有用户必须经过身份验证。 2. **规定操作路径**：客体（如订单、发票等）只能通过预设的程序进行操作。 3. **程序限制**：主体只能执行被授权的程序。 4. **审计日志**：系统需记录所有操作以保持正确性。 5. **正确性证明**：系统需要证明其功能的正确性。 Clark-Wilson模型中的访问三元组 `<userID, TPi, {CDIj, CDIk, ...}>` 描述了用户、转换程序以及受约束数据项之间的关系，强调了只有通过指定的转换程序，用户才能对数据进行操作。模型的目的是确保内部数据与用户的期望保持一致，即信息的完整性。 实施规则细化了流程中的每个操作，如采购员下单、发送订单、供货方发货、接收员验收并签署收货单、会计部门校对并付款等，每个步骤都有明确的责任人。同时，实验验证了责任分离、正确维护审计日志和系统正确性。通过测试，确保了流程的每个环节都得到有效控制，信息未经授权不得更改，确保了完整性。 在这一实验中，责任分离体现在不同角色的分工上，例如，只有采购员可以创建订单，收货员负责确认收货，而会计部门则负责核对付款。这种职责划分提高了系统的安全性，防止了非法或未经授权的访问和修改。 完整性访问控制系统的设计与实现，对于理解和应用系统安全理论至关重要，它通过实际操作演示了如何在实际环境中实现数据完整性和安全性的保障。通过这样的实验，学生不仅能深入理解系统安全原理，还能掌握实际的安全系统设计与实施技巧。