实时系统中的隐私自动机模型与无隐私性质研究

实时系统中的隐私问题是一个重要的研究领域，特别是在移动代码的安全性和时间自动机的理论背景下。本文由Ruggero Lanotte、Andrea Maggiolo-Schettini和Simone Tini三位学者合作，他们的研究发表在《电子与通信学报》(Elsevier)上，链接为<http://www.elsevier.nl/locate/entcs/volume52.html>，并得到了MURST Progetto Conanziato TOSCA项目的资金支持。 在他们的工作中，作者采用时间自动机这一形式主义工具来探讨实时系统中的隐私保护。时间自动机是一种数学模型，用于描述系统的行为，它将系统的运行状态和事件的发生与持续时间结合起来，形成不定时的成对序列（执行的动作和振铃时间）。在这个模型中，系统的行为被划分为两个级别：高层行为（秘密行为）和低层行为（可观察行为）。 关键的概念是隐私的无泄露性，即在两级系统中，秘密行为不能通过可观察行为直接或间接泄露。也就是说，即使可观察的行为发生，也不能根据这些信息推断出关于秘密行为的任何信息。这确保了在实时系统中，执行移动代码时客户端的隐私得到保护，不会因为代码的运行而暴露敏感数据。 为了实现这个无隐私属性，作者提出了一种检验方法，能够确定在给定的时间序列中，是否存在可能的隐私泄露。他们的工作不仅关注理论分析，还提供了实际操作的算法，这对于设计和实施安全的移动代码系统具有实际意义。 这篇论文在实时系统隐私保护的理论层面做出了贡献，通过时间自动机的视角，为理解如何在动态执行环境中维护用户隐私提供了一个坚实的基础。同时，其研究结果对于信息安全专业人员、系统架构师以及法规制定者来说，具有实用价值，因为他们需要在满足功能需求的同时，有效防止隐私侵犯。