C. Fournet - Bücher - alle Infos bei Yasni.de

(1 - 5 von 6

)

Applied Semantics: International Summer School, APPSEM 2000, Caminha...

books.google.ca

M. Abadi, C. Fournet, and G. Gonthier. Authentication primitives and their compilation. In Proceedings of POPL'00, pages 302–315. ACM, Jan M. Abadi ...

Automata, Languages and Programming: 33rd International Colloquium,...

books.google.ca

M. Abadi and C. Fournet. Private authentication. Theoretical Computer Science, 322(3):427–476, Special issue on Foundations of Wide Area Network ...

FST TCS 2000: Foundations of Software Technology and Theoretical...

books.google.ca

C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov C. Fournet and G.

Software System Reliability and Security - Charles Antony Richard...

books.google.ca

[7] K. Bhargavan, R. Corin, C. Fournet, and A. D. Gordon. Secure sessions for web services. In ACM Workshop on Secure Web Services (SWS), pages ...

Web Services and Formal Methods: Third International Workshop, WS-FM...

books.google.ca

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth...

Verwandte Suchanfragen zu C. Fournet

Personen
Vorname
Name "Fournet" (22)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher C. Fournet

Applied Semantics: International Summer School, APPSEM 2000, Caminha...

Automata, Languages and Programming: 33rd International Colloquium,...

FST TCS 2000: Foundations of Software Technology and Theoretical...

Software System Reliability and Security - Charles Antony Richard...

Web Services and Formal Methods: Third International Workshop, WS-FM...