671 search results - page 10 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ACSW
2006
14 years 11 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
AINA
2004
IEEE
15 years 1 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
AAAI
2008
15 years 3 days ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
ACSC
2007
IEEE
15 years 1 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
ADHOC
2008
14 years 10 months ago
2008
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...