2055 search results - page 83 / 411 » Generic Model Refactorings |
134
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
108
Voted
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
117
Voted
DIS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
101
click to vote
IEEESCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Recently, Process-Aware Information Systems (PAIS) were introduced, which allow for dynamic process and service changes. This, in turn, has led to a large number of process model ...
108
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...