MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Heiko Mantel" – sorted by Relevance.

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

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

17 documents found, showing 1 through 10. Next 10 →

ATOM

Information Flow Control and Applications - Bridging a Gap
by Heiko Mantel — 2001 — In Proc. Formal Methods Europe, volume 2021 of LNCS
…Information Flow Control and Applications { Bridging a Gap { Heiko Mantel German Research Center…
Cited by 9 (3 self) – Add To MetaCart

On the composition of secure systems
by Heiko Mantel — 2002 — In Proceedings of the IEEE Symposium on Security and Privacy
… Heiko Mantel German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, 66123…
Cited by 26 (2 self) – Add To MetaCart

Possibilistic definitions of security – an assembly kit
by Heiko Mantel — 2000 — In Proceedings of the IEEE Computer Security Foundations Workshop
…Possibilistic Definitions of Security – An Assembly Kit – Heiko Mantel German Research Center…
Cited by 41 (4 self) – Add To MetaCart

Unwinding Possibilistic Security Properties
by Heiko Mantel — 2000 — In Proc. of the European Symposium on Research in Computer Security, volume 2895 of LNCS
…Unwinding Possibilistic Security Properties Heiko Mantel German Research Center for Articial…
Cited by 32 (5 self) – Add To MetaCart

A Matrix Characterization for MELL
by Heiko Mantel, Christoph Kreitz — 1998 — 6 th European Workshop on Logics in Artificial Intelligence, LNAI 1489
…A Matrix Characterization for MELL Heiko Mantel 1 Christoph Kreitz 2 1 German Research Center…
Cited by 5 (3 self) – Add To MetaCart

A Generic Approach to the Security of Multi-Threaded Programs
by Heiko Mantel, Andrei Sabelfeld — 2001 — In Proc. of the 14th IEEE Computer Security Foundations Workshop
… be obtained from the IEEE. Heiko Mantel German Research Center for Artificial Intelligence Stuhlsatzenhausweg…
Cited by 15 (3 self) – Add To MetaCart

A Unifying Approach to the Security of Distributed and Multi-Threaded Programs
by Heiko Mantel, Andrei Sabelfeld — 2002 — J. Computer Security
…A Unifying Approach to the Security of Distributed and Multi-Threaded Programs Heiko Mantel y…
Cited by 22 (6 self) – Add To MetaCart

Static Confidentiality Enforcement for Distributed Programs
by Andrei Sabelfeld, Heiko Mantel — 2002
…Static Condentiality Enforcement for Distributed Programs ? Andrei Sabelfeld 1 and Heiko Mantel…
Cited by 31 (9 self) – Add To MetaCart

linTAP: A Tableau Prover for Linear Logic
by Heiko Mantel, Jens Otten — 1999 — International Conference TABLEAUX’99
…linTAP : A Tableau Prover for Linear Logic Heiko Mantel 1 Jens Otten 2 1 German Research…
Cited by 16 (4 self) – Add To MetaCart

Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus
by Germany Www, U Niv, Heiko Mantel, Serge Autexier, Serge Autexier — 1998
… of Simultaneous Skolemization for First-Order Sequent Calculus Serge Autexier and Heiko Mantel SEKI Report SR-98…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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