671 search results - page 80 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
106
click to vote
SERP
2004
15 years 1 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
143
click to vote
ACNS
2010
Springer
15 years 4 months ago
2010
Springer
In this work, we develop a family of protocols for deniable Internet Key-Exchange (IKE) with the following properties: • Highly practical efficiency, and conceptual simplicity a...
109
click to vote
JUCS
2008
14 years 11 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
STOC
2009
ACM
16 years 12 days ago
2009
ACM
We put forth a new computational notion of entropy, which measures the (in)feasibility of sampling high entropy strings that are consistent with a given protocol. Specifically, we...