9、通用可组合加密角色访问控制的安全特性解析

通用可组合加密角色访问控制的安全特性解析

1. Fvfs文件系统介绍

Fvfs是一个理想的版本化文件系统，它能保证文件版本的正确排序。用户可以通过向文件追加新版本来“写入”文件系统，而不是覆盖现有内容。数据管理器则拥有更丰富的接口，它可以删除甚至重写文件的现有版本。

系统中的所有用户都可以通过向Fvfs发送状态请求来检查文件系统的当前状态。当文件系统发生任何变化时，理想功能会将变化信息透露给对手，并通知用户。这体现了文件系统的公共可访问特性。此外，对文件系统的任何写入操作都是以匿名方式进行的，Fvfs不会透露执行写入操作的一方的身份信息。

为了简化协议表示，定义了一些简写符号：
- 当一方执行某个算法时，可能会生成一组要在文件系统上执行的保序指令，用 ${info_i} {i\in N}$ 表示这组指令。
- 如果该方是管理器，每个指令 $info_i \in {info_i} {i\in N}$ 可以是 (Write, sid, o, ver, c) 或 (Remove, sid, o, ver)，其中sid是Fvfs的会话ID。
- 如果该方是用户，指令只能是 (Write, sid, o, c) 的形式。
- 一方可能还需要提出一组保序指令 ${info_{fs\rightarrow fs’ i}} {i\in N}$，以便按顺序在文件系统上执行这些指令后，文件系统的当前状态fs将变为 $fs’$。当说一方将 ${info_i} {i\in N}$（或 ${info {fs\rightarrow fs’ i}} {i\in N}$）发送给Fvfs时