Formal Aspects in Security and Trust: Ifip Tc1 Wg1.7 Workshop on Formal Aspects in Security and Trust (Fast), World Computer Congress, August 22-27, 2

by Fabio Martinelli

Book Overview

Security Issues in the Tuple-Space Coordination Model.- Information Flow Analysis for Probabilistic Timed Automata.- Dynamic Security Labels and Noninterference (Extended Abstract).- Formal Analysis of a Fair Payment Protocol.- Pattern-Matching Spi-Calculus.- Decidability of Opacity with Non-Atomic Keys.- Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.- Family Secrets.- An Interactive Trust Management and Negotiation...

• Format: Paperback
• Language: English
• ISBN: 1441936858
• ISBN13: 9781441936851
• Release Date: December 2010
• Publisher: Springer
• Length: 246 Pages
• Weight: 0.81 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"