security-type system for IMPE can enforce expressive con- ... force expressive confidentiality policies (including era- ... µ, Γ ⊣δ e1 ⊕ e2 : intp⊔q.
確定! 回上一頁