Formal Aspects in Security and Trust

View on Open Library

Formal Aspects in Security and Trust

by Pierpaolo Degano , Joshua Guttman , Fabio Martinelli

No reviews yet

First published: 2009 1 language ISBN: 9783642014659

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Pierpaolo Degano

Programming Languages and Systems

Programming Languages and Systems

Concurrency, Graphs and Models

Concurrency, Graphs and Models

Formal Methods for Computational Systems Biology

Formal Methods for Computational Systems...

Foundations and Applications of Security Analysis

Foundations and Applications of Security...

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Automata, languages and programming

Automata, languages and programming