FAST: an efficient decision procedure for deduction and static equivalence

Metadata Label Value
Author(s): Conchinha, Bruno, Caleiro, Carlos, Basin, David
Publisher: Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Information Security Group
Citation:

Conchinha, Bruno, Caleiro, Carlos and Basin, David. FAST: an efficient decision procedure for deduction and static equivalence. Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Information Security Group (2010). http://dx.doi.org/10.3929/ethz-a-006519524

Document Type: Conference Contributions  
Documents: Text (504.22KB)

Detailed Information

Metadata Description
Title FAST: an efficient decision procedure for deduction and static equivalence
Author(s) Conchinha, Bruno
Caleiro, Carlos
Basin, David
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Information Security Group
Publication Date 2010
Notes In: 7th International Workshop on Formal Aspects of Security and Trust - FAST 2010
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006519524
Subject(s) Computer Systems
Data
Theorie der Regelungssysteme, Informationstheorie
Keyword(s) PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
CRYPTOGRAPHY
INFORMATION THEORY
NETWORK PROTOCOLS
COMMUNICATION PROTOCOLS
COMPUTER SYSTEMS
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-2853-01.pdf application/pdf 504.22KB
Abstract Views and Downloads
Views 17  abstracts
Downloads downloads

Abstract Views and Downloads by Country
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads


E-Collection record created: Thu, 07 Jul 2011, 04:20:21 CET