Media type: E-Article Title: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS Contributor: Martinelli, Fabio; Petrocchi, Marinella imprint: Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/j.entcs.2007.03.024 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access