VERIFYING THE SEMANTIC CORRECTNESS OF PROTOCOLS USING THE COHERENCE PROPERTY

被引：0
|
作者：
KARPOV, YG
BORSHCHEV, AV
MESHCHERSKY, AA
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1989年 / 05期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：41 / 44
页数：4
相关论文
共 50 条
  • [41] Verifying the SET registration protocols
    Bella, G
    Massacci, F
    Paulson, LC
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2003, 21 (01) : 77 - 87
  • [42] Verifying the independence of security protocols
    Bela, Genge
    Ignat, Iosif
    ICCP 2007: IEEE 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2007, : 155 - +
  • [43] Verifying authentication protocols with CSP
    Schneider, S
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 3 - 17
  • [44] Verifying the SET purchase protocols
    Bella, Giampaolo
    Massacci, Fabio
    Paulson, Lawrence C.
    JOURNAL OF AUTOMATED REASONING, 2006, 36 (1-2) : 5 - 37
  • [45] Verifying the SET Purchase Protocols
    Giampaolo Bella
    Fabio Massacci
    Lawrence C. Paulson
    Journal of Automated Reasoning, 2006, 36 : 5 - 37
  • [46] Verifying the Precedence Property Pattern Using the B Method
    Mammar, Amel
    Frappier, Marc
    2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), 2014, : 229 - 233
  • [47] Method for verifying the correctness of train control system design
    Cao Y.
    Tang T.
    Luo D.
    Mu J.
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2010, 45 (04): : 574 - 579
  • [48] Verifying Data Integration Configurations for Semantical Correctness and Completeness
    Stoehr, Mark R.
    Guenther, Andreas
    Majeed, Raphael W.
    GERMAN MEDICAL DATA SCIENCES: SHAPING CHANGE - CREATIVE SOLUTIONS FOR INNOVATIVE MEDICINE (GMDS 2019), 2019, 267 : 66 - 73
  • [49] SEMANTIC CORRECTNESS OF STRUCTURAL EDITING
    GRUZLEWSKI, T
    WEISS, Z
    SIGPLAN NOTICES, 1991, 26 (08): : 111 - 120
  • [50] REDUCTION TECHNIQUE FOR VERIFYING THE CORRECTNESS OF LOGIC CONTROL ALGORITHMS
    NOVIKOV, JA
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (04): : 19 - 23
12345