Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP

Engineering Journal: Science and Innovation
doi 10.18698/2308-6033-2013-11-999
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Bauman Moscow State Technical University

Related search

Formal Aspects of Procedures: The Problem of Sequential Correctness

1999English

Logical Analysis of Complex Network Searching

Open Cybernetics and Systemics Journal
ControlSystems EngineeringMathematics
2015English

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Incremental Validation of Formal Specifications

English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Analysis of a Non-Repudiation Protocol

English

On the Correctness of an Intrusion-Tolerant Group Communication Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Data for Reachability of Inter-/Intra-NetworK SIP (DRINKS) Use Cases and Protocol Requirements

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy