449 search results - page 49 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
103
click to vote
JCP
2007
15 years 1 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
108
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
126
click to vote
STTT
2010
14 years 12 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
134
click to vote
DAGSTUHL
2001
15 years 2 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
135
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...