Protocol specification, testing, and verification IV /

Protocol specification, testing, and verification IV /

16

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	IFIP WG 6.1 International Workshop Protocol Specification, Testing and Verification (4th : 1984 : Skytop Lodge, Pa.), Yemini, Yechiam, Strom, Robert, Yemini, Shaula
Ձևաչափ:
Հրապարակվել է:	Amsterdam : North-Holland, 1985
Խորագրեր:	Computer network protocols

Նմանատիպ նյութեր

Protocol specification, testing and verification V/
‌: IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (5th : 1985 : Toulouse, France and Moissac), և այլն

Protocol specification, testing and verification /
‌: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (2nd : 1982 : Idyllwild, Calif.), և այլն
Հրապարակվել է: (1982)

Protocol specification, testing, and verification III / edited by Harry Rudin, Colin H West
‌: IFIP WG 6.1 International Workshop on Protocols Specification, Testing, and Verification (3rd : 1983 : Ruschlikon, Switzerland), և այլն
Հրապարակվել է: (1983)

Protocols for high-speed networks, II : proceedings /
‌: 467760 IFIP WG 6.1 / WG 6.4 International Workshop on Protocols for High-Speed Networks (2nd :1990 :Palo Alto, Calif.), և այլն
Հրապարակվել է: (1991)

An economy for flow control in computer networks /
‌: 303378 Ferguson, Donald F., և այլն

Le Houérou Fabienne, Darfour : Le Silence de l’araignée, Paris, l’Harmattan, 2009, 208 p.
‌: Lisa Anteby-Yemini
Հրապարակվել է: (2012-06-01)

Mourir en migration
‌: Lisa Anteby-Yemini
Հրապարակվել է: (2018-11-01)

Les études sur les migrations en Israël : état des lieux
‌: Lisa Anteby-Yemini
Հրապարակվել է: (2022-12-01)

Analysis for e-commerce protocols based on ProVerif
‌: GUO Yun-chuan1, և այլն
Հրապարակվել է: (2009-01-01)

Analysis for e-commerce protocols based on ProVerif
‌: GUO Yun-chuan1, և այլն
Հրապարակվել է: (2009-01-01)

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007: Proceedings /
‌: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th : 2007 : Tallinn, Estonia), և այլն
Հրապարակվել է: (2007)

Formal description techniques and protocol specification, testing and verification /
‌: Caalli, Ana, և այլն
Հրապարակվել է: (1998)

Triple exclusion: Life stories of Jewish migrant academics from the former Soviet Union at a contested university under siege
‌: Kot, V, և այլն
Հրապարակվել է: (2020)

Deductive Verification of the Sliding Window Protocol
‌: D. A. Chkliaev, և այլն
Հրապարակվել է: (2015-03-01)

Verification of communication protocols in web services : model-checking service compositions /
‌: 464078 Tari, Zahir, և այլն
Հրապարակվել է: (2014)

Database security, IV : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Halifax, UK, 18-21 Sept. 1990 /
‌: IFIP WG 11.3 Workshop on Database Security n(4th : 1991 : Halifax, England), և այլն
Հրապարակվել է: (1991)

SSMCI:verification mechanism for security protocols centered on the attacker
‌: Wen GU, և այլն
Հրապարակվել է: (2017-10-01)

SSMCI:verification mechanism for security protocols centered on the attacker
‌: Wen GU, և այլն
Հրապարակվել է: (2017-10-01)

Information network and data communications IV /
‌: IFIP TC 6 International Conference on Information Network and Data Communication (4th : 1992 : Espoo, Finland), և այլն
Հրապարակվել է: (1992)

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
‌: Nadezhda S. Mogilevskaya, և այլն
Հրապարակվել է: (2011-11-01)

Using TLA+/TLC for modeling and verification of cryptographic protocols
‌: Maxim V. Neyzov, և այլն
Հրապարակվել է: (2024-12-01)

Detection & prevention of active sniffing on routing protocol /
‌: 436631 Pathmenanthan Ramakrishna, և այլն
Հրապարակվել է: (2002)

Study of the communication protocols of the intelligent network disk
‌: ZHOU Yun-xia1, և այլն
Հրապարակվել է: (2007-01-01)

Study of the communication protocols of the intelligent network disk
‌: ZHOU Yun-xia1, և այլն
Հրապարակվել է: (2007-01-01)

Server client configuration to lock and unlock computer using barcode reader verification /
‌: 377895 Zukhairi Md Yusuf, և այլն
Հրապարակվել է: (2004)

Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /
‌: IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (7th : 2007 : Paphos, Cyprus), և այլն
Հրապարակվել է: (2007)

Server client configuration to lock and unlock computer using barcode reader verification [electronic resource] /
‌: 377895 Zukhairi Md Yusuf, և այլն
Հրապարակվել է: (2004)

Collision and information error of topologies in clustering protocol
‌: HAN Jiang-hong1, և այլն
Հրապարակվել է: (2011-01-01)

Collision and information error of topologies in clustering protocol
‌: HAN Jiang-hong1, և այլն
Հրապարակվել է: (2011-01-01)

Efficient and configurable data transport protocol for grid computing
‌: WANG Ji-gang1, և այլն
Հրապարակվել է: (2007-01-01)

Efficient and configurable data transport protocol for grid computing
‌: WANG Ji-gang1, և այլն
Հրապարակվել է: (2007-01-01)

Deductive Verification of Telecommunication Systems Written in C
‌: I. S. Anureev
Հրապարակվել է: (2015-03-01)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
‌: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), և այլն
Հրապարակվել է: (2008)

Internet technologies, applications, and societal impact /
‌: IFIP TC6/WG6.4 Workshop on Internet Technologies, Applications, and Societal Impact (2002 : Wroclaw, Poland), և այլն
Հրապարակվել է: (2002)

Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif
‌: Ilsun You, և այլն
Հրապարակվել է: (2024-10-01)

A formal specification and verification framework for timed security protocols
‌: Li, Li, և այլն
Հրապարակվել է: (2020)

Location-Based Approach for Route Maintenance in Dynamic Source Routing Protocol
‌: Sjaugi, Muhammad Farhan
Հրապարակվել է: (2008)

Building Protein Domain Based Composite Biobricks for Mammalian Expression Systems
‌: Balint, Balint L, և այլն
Հրապարակվել է: (2010)

Exploring computational thinking, executive functions, visuospatial skills and experiences with toys in early childhood: Protocol for a controlled trial
‌: Carolina Robledo-Castro, և այլն
Հրապարակվել է: (2025-06-01)

SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC
‌: Nadezhda S. Mogilevskaya
Հրապարակվել է: (2012-03-01)