A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols
2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15
Preserved Fulltext
To ease the maintenance of existing and implementation of new protocols, we have devised a domain-specific language (DSL) and its optimizing compiler for specifying protocols for secure computation. ...
and possible optimizations for a particular sub-protocol should be propagated into larger protocols working with data of different types. ...
We would like to thank Madis Janson, Liisi Kerik, Alisa Pankova, Martin Pettai and Karl Tarbe for their contributions to the compiler and protocols. ...
doi:10.1145/2810103.2813664
dblp:conf/ccs/LaudR15
fatcat:atxrybhn3zhmtm32luegfklr6y
Protocol specification for OSI
1990
Computer networks and ISDN systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper has been written as a tutorial on questions related to protocol specifications. It provides certain basic definitions related to protocol specifications and specification languages. ...
Special attention is given to the specification formalisms used for OSI protocol and service descriptions, including semi-formal languages such as state tables, ASN.1 and TTCN, and formal description techniques ...
Section 3 contains a more detailed discussion of the specification languages used for OSI communication services and protocols.
Specification Languages 1.5. ...
doi:10.1016/0169-7552(90)90132-c
fatcat:avhuude4dbclfiz5j5yellrqkm
EVP: Integration of FDTs for the analysis and verification of communication protocols
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
EVP is an integrated tool-set for specification and the analysis of communication protocols and distributed systems. ...
Specifications in standard Formal De-~Tiption Techniques (FDTs) like SDL or LOTOS are translated into a common language, and then analysed with tools for this internal representation. ...
The search for a unique kernel language to be used for the integration of several standard FDTs seems to be one of the trends in the protocol engineering field. ...
doi:10.1007/3-540-61474-5_90
fatcat:uamufsuovrf6rmb2dqveac447i
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This is shown by the emergence of several LSP implementations for the many programming and specification languages (languages with a focus on modelling, reasoning, or proofs). ...
We hope our research attracts the larger community and motivates the need of a joint task force leading to a standardised LSP extension serving the particular needs of specification languages. ...
and suggestions on the SLSP protocol. ...
doi:10.4204/eptcs.338.3
fatcat:462mwefxt5bptefidvivxy5krq
A new Approach to Performance Evaluation of Formally Specified Protocols
[chapter]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This report proposes enhanced methods for performance evaluation of formally specified communication protocols. ...
A main focus is on semi-automatic generation of a program for stochastic simulation directly from a given protocol specification in SDL. ...
Technical Approach The importance of using formal specification techniques for the development of communication protocols is generally undisputed. ...
doi:10.1007/978-0-387-34878-0_37
fatcat:lutznlk5hjgdler6hiqtw2bryu
Formalization and Verification of Interaction Protocols
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Several formal languages for defining protocols and properties have been proposed within different research communities. ...
computing environment [2, 5] ; protocol properties, where tools for proving properties are of utmost importance in the MAS community [4] and in the security protocols community [1] ; and finally specific ...
doi:10.1007/11562931_45
fatcat:t7u7lxezefdhnncoobokvo35o4
The Scribble Protocol Language
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We thank Gary Brown for his comments. ...
The Scribble language is a platform-independent description language for the specification of asynchronous, multiparty message passing protocols [16, 18, 38] . ...
-The design of the Scribble language focuses on the specification of protocol structures. ...
doi:10.1007/978-3-319-14128-2_3
fatcat:r2nsvqeegjaplizemlnees3eue
The Scribble Protocol Language
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We thank Gary Brown for his comments. ...
The Scribble language is a platform-independent description language for the specification of asynchronous, multiparty message passing protocols [16, 18, 38] . ...
-The design of the Scribble language focuses on the specification of protocol structures. ...
doi:10.1007/978-3-319-05119-2_3
fatcat:6czxti2ptzeoxpmtw6dzp7xspe
Specifying sharemind's arithmetic black box
2013
Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies - PETShop '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In this paper, we discuss the design choices and initial experiences with a domain-specific language and its optimizing compiler for specifying protocols for secure computation. ...
We give the rationale of the design, describe the translation steps, the location of the compiler in the whole Sharemind protocol stack, and the results we have obtained with the system. ...
us to tailor the languages for the specific domain. ...
doi:10.1145/2517872.2517874
dblp:conf/ccs/LaudPPR13
fatcat:exc2banu4zcsjiwhjbwhf27kwe
The Meta-Protocol framework
2013
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
First, we designed an XML-based protocol specification language (XPSL) that allows for the high-level specification of a protocol-expressed as a Finite State Machine (FSM)-using Component-Based Software ...
In addition, we developed the multi-layer Meta-Protocol framework, which allows for on-the-fly protocol discovery and negotiation, distribution of protocol specifications and components, and automatic ...
Therefore, our approach replaces the use of natural language for protocol specification with XPSL. ...
doi:10.1016/j.jss.2013.05.096
fatcat:yedqxey5xfdodi3md6l6n5xfg4
Using Process Algebra to Design Better Protocols
[chapter]
2016
The Role and Importance of Mathematics in Innovation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Despite the maturity of formal description languages and formal methods for analyzing them, the description of real protocols is still overwhelmingly informal. ...
The consequences of informal protocol description drag down industrial productivity and impede research progress". Pamela Zave [18] ...
However, AWN allows modelling of any type of communicating concurrent processes, and can be used for a wide range of networks and protocols. ...
doi:10.1007/978-981-10-0962-4_8
fatcat:tvoe74227ndntds5qolrdb2gta
Typechecking Java Protocols with [St]Mungo
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java ...
This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. ...
The key steps are given in the following: -Scribble is used as a specification language for global protocols (or global types) describing communication among all involved participants in a communication ...
doi:10.1007/978-3-030-50086-3_12
fatcat:v6eenleovjbpplcsxtrp6ev5ta
VHDL generation from SDL specifications
[chapter]
1997
Hardware Description Languages and their Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
When translating high level languages for implementation the main problem is to convert high level communication model. ...
Several concepts supported by system level specification languages (finite state machine, communication through high level schemes, exceptions) are not easily represented in hardware description languages ...
This step fixes the protocol used by each communication primitive by choosing a communication unit with a specific protocol for each abstract channel. ...
doi:10.1007/978-0-387-35064-6_18
fatcat:vlasjwqrhrdxph5f3g5kfjmvna
Automated Verification of Quantum Protocols by Equivalence Checking
[article]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. ...
The tool uses stabilizer formalism and is capable of representing concurrent quantum protocol, thus is more expressive than quantum circuits. ...
Another reason for choosing this formalism is synchronised communication, given the lack of durable quantum memory. In this language, processes are formed using prefixes, ". ...
arXiv:1312.5951v1
fatcat:x3xnfdi73jevtencmrnf2rjt7m
VHDL generation from SDL specifications
[chapter]
2002
Readings in Hardware/Software Co-Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
When translating high level languages for implementation the main problem is to convert high level communication model. ...
Several concepts supported by system level specification languages (finite state machine, communication through high level schemes, exceptions) are not easily represented in hardware description languages ...
This step fixes the protocol used by each communication primitive by choosing a communication unit with a specific protocol for each abstract channel. ...
doi:10.1016/b978-155860702-6/50011-9
fatcat:x6eihwewfbf4piwqhv73ejmmz4
« Previous
Showing results 1 — 15 out of 421,051 results