Searching for "End-to-End Availability Policies and Noninterference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

End-to-end availability policies and noninterference
by Lantian Zheng, Andrew C. Myers — 2005 — Store = Identifier ↦→ (Num ∪ {unbound}) Expression Transition Relations: =⇒A : Exp × Store −→ Num Rule NumR Rule IdentR Rule AOpR Rule BitNotR 〈n, σ〉 =⇒A n =⇒B : BoolExp × Store −→ {0,1} Rule BOpR Rule ROpR Rule LNotR 〈I, σ〉 =⇒A σ(I) 〈E, σ〉 =⇒A n 〈E ′ , σ
…End-to-end Availability Policies and Noninterference Lantian Zheng Andrew C. Myers Computer…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB