Filters








421,051 Hits in 5.4 sec

A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols

Peeter Laud, Jaak Randmets
2015 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15  
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

Gregor V Bochmann
1990 Computer networks and ISDN systems  
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]

P. Merino, J. M. Troya
1996 Lecture Notes in Computer Science  
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

Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
2021 Electronic Proceedings in Theoretical Computer Science  
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]

Stefan Böhmer, Ralf Klafka
1995 IFIP Advances in Information and Communication Technology  
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]

Federico Chesani
2005 Lecture Notes in Computer Science  
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]

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2014 Lecture Notes in Computer Science  
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]

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2014 Lecture Notes in Computer Science  
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

Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets
2013 Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies - PETShop '13  
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

Ibrahim S. Abdullah, Daniel A. Menascé
2013 Journal of Systems and Software  
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]

Peter Höfner
2016 The Role and Importance of Mathematics in Innovation  
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]

A. Laura Voinea, Ornela Dardha, Simon J. Gay
2020 Lecture Notes in Computer Science  
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]

Jean-Marc Daveau, Gilberto Fernandes Marchioro, Carlos Alberto Valderrama, Ahmed Amine Jerraya
1997 Hardware Description Languages and their Applications  
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]

Ebrahim Ardeshir-Larijani and Simon J. Gay and Rajagopal Nagarajan
2013 arXiv   pre-print
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]

Jean-Marc Daveau, Gilberto Fernandes Marchioro, Carlos Alberto Valderrama, Ahmed Amine Jerraya
2002 Readings in Hardware/Software Co-Design  
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