企业级的信息系统通常被称为管理信息系统(Management Information System,简称MIS)。管理信息系统作为重要的信息管理工具已在船舶修造企业中得到广泛应用,不仅提高了企业的管理效率,同时为企业节省了大量的人力和物力成本。管理信息系统的安全性是确保企业生产的管理过程中不出现导致危险发生的能力,管理信息系统需要在保证软件和硬件稳定运行的情况下,处理和反馈大量的安全性数据。管理信息系统虽然不能直接对软件和硬件造成损害,但是发送或接收的控制类或决策类错误有可能通过硬件接口使软件或硬件发生失效,也可能对决策者提供错误的信息造成危险判断,从而导致严重的安全事故。船舶修造企业具有危险源多、事故多发等特点,随着企业的发展,其管理信息系统的安全性要求不断提高,因此管理信息系统的安全管理能力必须得到有效保证。安全管理能力的验证是保证和提高管理信息系统安全管理能力的必要措施,安全性验证不仅能够增加系统的可信性,同时也对潜在的危险做出了预警,可以有效避免重大安全事故的发生。文章基于国内外管理信息系统安全性领域内的权威标准和手册,将基于本体的形式化建模和验证方法应用于提高管理信息系统安全性的工作中。文章首先以船舶修造企业为示范领域遴选出安全性管理领域的权威标准,并采用“七步法”对管理信息系统安全性本体建模,开发了图形化的本体建模和验证工具,对安全性本体模型进行了验证,发现管理信息系统本体模型中存在的安全性问题,并完成了模型优化、回归验证以及安全性验证对比试验。基于本体安全的管理信息系统形式化建模和验证过程体现了形式化理论和方法在企业安全管理中的价值,提高了形式化理论和方法对管理信息系统安全性验证的支持能力。形式化建模和验证过程在船舶修造企业管理信息系统中的应用有效验证了管理信息系统的安全性,提高了管理信息系统的可靠性,为企业安全生产提供了有力保障。