基于线性时态逻辑的物联网操作系统安全性设计

根据物联网操作系统安全性设计的需求,同时结合在经典线性时态逻辑、逻辑程序设计、形式化模型检测理论方面的研究与工程实践探索,提出了一种应用于物联网操作系统安全性设计的方法论,并进行了工程原型验证。实践证明该方法的效果符合预期,不仅适合物联网操作系统的安全性设计,也可以进一步推广到其他安全性要求较高的软件产品设计领域。