34、基于来源的信任属性验证模型

基于来源的信任属性验证模型

在当今复杂的系统环境中，验证系统活动的信任属性至关重要。本文将介绍一种基于来源的模型，用于验证系统活动的信任属性，并阐述如何通过该模型进行证据验证和信任属性推理。

1. 基本概念定义

• 执行过程 ：执行过程（ExecutionProcess）由特定程序执行并产生另一个程序。相关函数和集合定义如下：
  • wasPerformedBy : Process → Program ：表示某个进程由哪个程序执行。
  • ExecutionProcess : P Process ：执行过程的集合。
  • wasExecutedThrough : Program → Process ：表示某个程序通过哪个进程执行。
  • wasExecutedBy : Program → Program ：表示某个程序由哪个程序执行。
  • wasExecutedAt : Program → Time ：表示某个程序的执行时间。
  • BootstrapProcess : P ExecutionProcess ：自举过程，是一种特殊的执行过程，执行该过程的程序与产生的程序相同。
  • 逻辑关系：
    • ExecutionProcess = ran wasExecutedTh