Searching for "Integration of a Security Type System into a Program Logic." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Reversible Logic
by Reiner Hähnle, Jing Pan, Dennis Walter, Reiner Hähnle, Jing Pan, Dennis Walter, C Reiner Hähnle, Jing Pan, Dennis Walter, Reiner Hähnle, Jing Pan, Dennis Walter — 2005 — IEEE Potentials
…Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner…
Cited by 1 (0 self) – Add To MetaCart

On the integration of security type systems into program logics
by Reiner Hähnle, Jing Pan, Dennis Walter — 2007 — Proc. Trustworthy Global Computing
…Integration of a Security Type System into a Program Logic ⋆ Reiner Hähnle 1 , Jing Pan 2…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 2.

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