449 search results - page 27 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
127
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
118
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
127
Voted
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
105
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
114
click to vote
JUCS
2008
15 years 1 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...