Don't optimize existing protocols, design optimizable protocols

Mucosal Immunization Protocols Modulating Dendritic Cells to Optimize

Structured Design of Communication Protocols *

We propose a compositional technique to design multifunction protocols. The technique involves rst designing the protocols performing the various functions separately and then combining them using a set of constraints. The constraints are used to specify the interactions between the component protocols. The interactions, for example, specify when a function has to be performed and whether two f...

Automated Design of Security Protocols

Security protocols play an important role in modern communications. However, security protocol development is a delicate task, and experience shows that computer security protocols are notoriously difficult to get right. Recently, Clark and Jacob provided a framework for automatic protocol generation based on combinatorial optimization techniques and the symmetric key part of BAN logic. This pa...

Synthesizing Existing CSMA and TDMA Based MAC Protocols for VANETs

Many Carrier Sense Multiple Access (CSMA) and Time Division Multiple Access (TDMA) based medium access control (MAC) protocols for vehicular ad hoc networks (VANETs) have been proposed recently. Contrary to the common perception that they are competitors, we argue that the underlying strategies used in these MAC protocols are complementary. Based on this insight, we design CTMAC, a MAC protocol...

QLM Messaging Standards: Introduction and Comparison with Existing Messaging Protocols

Recent advancement in web technology enabled the development of new Business-to-Business (B2B) infrastructures, e.g. based on the concept of Service Oriented Architecture (SOA). These infrastructures enable seamless information exchange among different stakeholders and complex business procedures. However, there is still a lack of sufficiently generic and standardized application-level interfac...