MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Lantian Zheng" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • 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
  • Secure Program Partitioning  
  • by Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers — 2002 — ACM Transactions on Computer Systems
  • …Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers…
  • Cited by 40 (12 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB