671 search results - page 54 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
182
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
150
click to vote
CAV
2009
Springer
15 years 5 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
112
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
167
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
116
click to vote
JOT
2008
15 years 1 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...