4
3.1 基本任务与实现方法
基本任务：是保证对客体的所有直接访问 都是被认可的。它通过对程序与数据的读 、写、更改和删除的控制，保证系统的安 全性和有效性，以免受偶然的和蓄意的侵 犯。 实现：由支持安全策略的执行机制实现
5
访问控制的有效性
建立在两个前提上
• 第一是用户鉴别与确证，保证每个用户 只能行使自己的访问权，没有一个用户 能够获得另一个用户的访问权。这一前 提是在用户进入系统时登录过程中对用 户进行确认之后完成的。
34
权利的转授
• 4、某些系统允许主体把自己对一个客体的访 问权转授给另一个主体，只要它持有这一权利 而毋需具备拥有权。下面的命令从进程 p转授 r-访问权给进程q，但没有给q进一步的转授权。 命令中的“*”表示权利r是可拷贝的标记。 • Command transfer read (p，q，f) If r* in A[p，f] Then enter r into A[q, f] End
条件 sS, oO
sS, oO
新状态（加’）
S’=A’[s,o]=A[s,o]{r} 矩阵其他入口项内容不变。
S’=S,O’=O,A’[s,o]=A[s,o]-{r}
矩阵其他入口项内容不变。
Create subject s’
Create o’ object
s’O
o’O
S’=S{s’},O’=O{s’}A’[s,o]=A[s,o] , 当 sS, oO，A’[s,o’]=, 当 oO’A’[s,s’]=, 当sS’ S’=S, O’=O{o’}A’[s,o]=A[s,o], 当sS, oOA’[s,o’]=, 当sS’
19
• 3）可验证性原则。为了满足可验证性，
