Using the ASTRAL model checker to analyze mobile IP

被引：0
|
作者：
Univ of California, Santa Barbara, CA, United States [1 ]
机构：
来源：
Proc Int Conf Software Eng | / 132-141期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
相关论文
共 50 条
  • [41] Secure Information Flow Analysis Using the PRISM Model Checker
    Noroozi, Ali A.
    Salehi, Khayyam
    Karimpour, Jaber
    Isazadeh, Ayaz
    INFORMATION SYSTEMS SECURITY (ICISS 2019), 2019, 11952 : 154 - 172
  • [42] EVALUATING UML SEQUENCE MODELS USING THE SPIN MODEL CHECKER
    Shinkawa, Yoshiyuki
    ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 417 - 422
  • [43] Validating Z specifications using the PRoB animator and model checker
    Plagge, Daniel
    Leuschel, Michael
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 480 - 500
  • [44] Modeling and verification of marine equipment systems using a model checker
    Yao, Shunsuke
    Awano, Hiroaki
    Hiraoka, Yasushi
    Takahashi, Kazuko
    IMECS 2008: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2008, : 1033 - +
  • [45] Using Task Analytic Models to Visualize Model Checker Counterexamples
    Bolton, Matthew L.
    Bass, Ellen J.
    IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [46] Mobile IP
    Perkins, CE
    INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 1998, 11 (01) : 3 - 20
  • [47] Mobile IP
    Perkins, CE
    IEEE COMMUNICATIONS MAGAZINE, 1997, 35 (05) : 84 - &
  • [48] Using a Mask Rule Checker as an Electrical Rule Checker
    Morey-Chaisemartin, Philippe
    Beisser, Eric
    PHOTOMASK AND NEXT-GENERATION LITHOGRAPHY MASK TECHNOLOGY XX, 2013, 8701
  • [49] Using CTL Model Checker for Verification of Domain Application Systems
    Cacovean, Laura Florentina
    RECENT ADVANCES IN NEURAL NETWORKS, FUZZY SYSTEMS & EVOLUTIONARY COMPUTING, 2010, : 262 - 267
  • [50] Using a formal specification and a model checker to monitor and direct simulation
    Tasiran, S
    Yu, Y
    Batson, B
    40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 356 - 361
12345