Sciweavers

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

12

SYNASC
2008
IEEE

favoriteEmaildiscussreport

238views Algorithms» more SYNASC 2008»

A Modeling Framework for Generating Security Protocol Specifications

13 years 11 months ago

A Modeling Framework for Generating Security Protocol Specifications

Download www.ibs.ro

Béla Genge, Piroska Haller

Real-time Traffic

Algorithms | SYNASC 2008 |

claim paper

Related Content

» Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

» Linguistic Security Testing for Text Communication Protocols

» Provably correct Java implementations of Spi Calculus security protocols specifications

» A Formal Framework to Integrate Timed Security Rules within a TEFSMBased System Specificat...

» Typed Multiset Rewriting Specifications of Security Protocols

» Slede Framework for automatic verification of sensor network security protocol implementat...

» The layered games framework for specifications and analysis of security protocols

» Using Argumentation Logic for Firewall Policy Specification and Analysis

» Generating heterogeneous executable specifications in SystemC from UMLMARTE models

Post Info
More Details (n/a)

Added	01 Jun 2010
Updated	01 Jun 2010
Type	Conference
Year	2008
Where	SYNASC
Authors	Béla Genge, Piroska Haller

Comments (0)