1323 search results - page 29 / 265 » Extended Modeling Languages for Interaction Protocol Design |
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
112
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
125
click to vote
ASIASIM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
106
click to vote
TCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
125
Voted
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...