2162 search results - page 50 / 433 » A Meta-Notation for Protocol Analysis |
JOT
2010
13 years 7 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
ACSC
2007
IEEE
14 years 22 days ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
FC
2006
Springer
14 years 11 days ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
PKC
2000
Springer
14 years 9 days ago
2000
Springer
Fair exchange turns out to be an increasingly importanttopic due to the rapid growth of electronic commerce. An exchange is deemed to be fair if at the end of exchange, either each...
PEWASUN
2008
ACM
13 years 10 months ago
2008
ACM
In the design of many proactive routing protocols for MANETs, it is often assumed that topology information is disseminated instantly and error free. Exceptions include hazysighte...