2209 search results - page 353 / 442 » Language Based Secure Communication |
129
Voted
ADT
2005
15 years 2 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
127
Voted
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
118
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
141
Voted
SAC
2000
ACM
15 years 7 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
127
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...