449 search results - page 40 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
15 years 7 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
123
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
137
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Extracting planar graph from network topologies is of great importance for efficient protocol design in wireless ad hoc and sensor networks. Previous techniques of planar topol...
130
click to vote
SOFTVIS
2003
ACM
15 years 6 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
126
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...