Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

CSFW
2004
IEEE

favoriteEmaildiscussreport

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

13 years 8 months ago

Abstraction and Refinement in Protocol Derivation

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko

Real-time Traffic

CSFW 2004 | Security Privacy |

claim paper

Related Content

» Deriving Efficient Cache Coherence Protocols through Refinement

» A ClassChest for Deriving Transport Protocols

» Abstracting and Refining Authorization in SQL

» Developing security protocols by refinement

» Ideal Key Derivation and Encryption in SimulationBased Security

» Safety Verification of an Aircraft Landing Protocol A Refinement Approach

» A ConceptDriven Construction of the Mondex Protocol Using Three Refinements

» Deriving ObjectOriented Frameworks from Domain Knowledge

» Applying EventB Atomicity Decomposition to a Multi Media Protocol

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	CSFW
Authors	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Comments (0)