Publications

AuthID
P-00Y-NJZ

Author(s)

Barthe, G

Rezk, T

Saabas, A

Document Type

Proceedings Paper

Year published

2005

Published

in Formal Aspects in Security and Trust

Pages: 112-126

Indexing

Google Scholar^®

Publication Identifiers

DOI: 10.1007/11679219_9

Dblp: conf/ifip1-7/BartheRS05

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links