Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 41



41
TITLE: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTHORS: Bernardo Toninho ; Luís Caires ;
PUBLISHED: 2010, SOURCE: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., VOLUME: 51
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
Page 5 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service