Formal methods for protocol conversion /

Formal methods for protocol conversion /

Bibliographic Details
Main Author:	Yao, Yow-Wei
Language:	English
Published:	The Ohio State University / OhioLINK 1991
Subjects:	Computer Science
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251

Similar Items

On the formal methods for protocol conformance testing.
by: Lu, Yueping.
Published: (2009)

Formal Methods in Verification of Interface and Bus Protocols
by: Kjellsson, Kenji
Published: (2014)

Formal Analysis of Network Protocol Security
by: Hsu, Yating
Published: (2011)

Formally Evaluating Wireless Security Protocols

On the requirements for protocol conversion.
by: Beyers, Kirsten Julia.
Published: (2009)

Protocol conversion for computer networks /
by: Shu, Jesse C.
Published: (1990)

Formalizing security properties in blockchain protocols
by: Liljefors, Felix, et al.
Published: (2018)

Formal Security Evaluation of Ad Hoc Routing Protocols

Formal Methods and Tools for Testing Communication Protocol System Security
by: Shu, Guoqiang
Published: (2008)

Synchronizing transition set approach to protocol conversion /
by: Jeng, Hou-Wa Jack
Published: (1995)

A formal method for classifying distributed systems /
by: Shands, Deborah Ann
Published: (1994)

Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols
by: Livadas, Carolos
Published: (2014)

A Comparative Study of Formal Verification Techniques for Authentication Protocols
by: Palombo, Hernan Miguel
Published: (2015)

Reflecting on Formal Methods
by: Stella Höhn, et al.
Published: (2015-06-01)

A formal method for modeling and analysis of requirements for software /
by: Pino, Lou
Published: (1993)

FORMAL METHODS AND HUMAN FACTORS IN THE DESIGN OF INTERACTIVE LANGUAGES
by: SINGER, ANDREW JAY
Published: (1979)

The use of formal methods for safety-critical systems
by: Trafford, Paul Joseph
Published: (1997)

Protocol conversion : an algorithmic approach
by: Rajagopal, Murali
Published: (2007)

Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011)

The formal evaluation and design of routing protocols for wireless sensor networks in hostile environments
by: Saghar Malik, Kashif
Published: (2010)

Using formal languages in data communications protocols
by: Mulder, Petrus Gerhardus
Published: (2014)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

An Analysis of the Secure Routing Protocol for Mobile Ad Hoc Network Route Discovery: Using Intuitive Reasoning and Formal Verification to Identify Flaws

Formal analysis of firewall policies
by: Marmorstein, Robert Mathias
Published: (2008)

Formalization of timethreads using LOTOS.
by: Amyot, Daniel
Published: (2009)

An investigation of methods for digital television format conversions
by: Yeo, Chuohao, 1979-
Published: (2014)

Methods of Detecting Intrusions in Security Protocols

A formal model of software subsystems /
by: Edwards, Stephen
Published: (1995)

Deductive Formal Verification of Embedded Systems
by: Lu, Zheng
Published: (2012)

A formal semantics of C with applications
by: Ellison, Charles McEwen, III
Published: (2013)

Analysis and Generation of Formal and Informal Text
by: Abu Sheikha, Fadi
Published: (2013)

Formal reasoning in software-defined networks
by: Reitblatt, Mark
Published: (2017)

Computer formal drawings and their automation
by: Ding, Chen
Published: (1991)

A formal analysis of the MLS LAN: TCB-to-TCBE, Session Status, and TCBE-to-Session Server Protocols
by: Craven, Daniel Shawn
Published: (2012)

Formal analysis of Web Services Atomic Transaction protocol using SPIN
by: Leong, Ieng Kit
Published: (2009)

A Secure and Formally Verified Commodity Multiprocessor Hypervisor
by: Li, Shih-Wei
Published: (2021)

Test sequence generation methods for communication protocols /
by: Yu, Shwuhwa Sarah
Published: (1993)

Protocol re-testing and diagnostic testing methods.
by: El-Fakih, Khaled Abdul-Ghani.
Published: (2009)

Conceptual program editors: Design and formal specification /
by: Bucci, Paolo
Published: (1997)

Formal verification and testing of software architectural models
by: Argote Garcia, Gonzalo
Published: (2009)