SPLIT: Security Protocol Interaction Testing in Practice

被引：0
|
作者：
Simos, Dimitris E. [1 ]
机构：
[1] SBA Res, Vienna, Austria
来源：
ERCIM NEWS | 2016年 / 106期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The SPLIT project applies methods from the field of combinatorial (interaction) testing and model-based testing with the aim of providing quality assurance to software security protocols. The project thus makes a significant contribution towards protecting the information of communicating parties in a digitally connected society.
引用
收藏
页码：38 / +
页数：2
相关论文
共 50 条
  • [1] Security and Robustness by Protocol Testing
    Fu, Yulong
    Kone, Ousmane
    [J]. IEEE SYSTEMS JOURNAL, 2014, 8 (03): : 699 - 707
  • [2] Security testing for hardware products: the security evaluations practice
    Merle, A
    Clediere, J
    [J]. 11th IEEE International On-Line Testing Symposium, 2005, : 122 - 125
  • [3] Research and practice on testing tunnel protocol
    Zhou, L
    Wu, JP
    Yin, X
    Shi, XG
    Wang, ZL
    [J]. APCC 2003: 9TH ASIA-PACIFIC CONFERENCE ON COMMUNICATION, VOLS 1-3, PROCEEDINGS, 2003, : 934 - 938
  • [4] Network Protocol Security Testing Based on Fuzz
    Li Haifeng
    Wang Shaolei
    Zhang Bin
    Shuai Bo
    Tang Chaojing
    [J]. PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 955 - 958
  • [5] The Security Testing Case Research of Protocol Implementation
    Zhang, Lei
    An, Jing
    You, Chunlan
    Chen, Guangxuan
    [J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C), 2014, : 78 - 83
  • [6] Training Scenario for Security Testing of the Kerberos Protocol
    Lazarov, Willi
    Bohacik, Antonin
    Kohout, David
    Fujdiak, Radek
    [J]. ADVANCES AND TRENDS IN ARTIFICIAL INTELLIGENCE: THEORY AND APPLICATIONS, IEA-AIE 2024, 2024, 14748 : 56 - 67
  • [7] Security Testing of Session Initiation Protocol Implementations
    Harris, Ian G.
    Alrahem, Thoulfekar
    Chen, Alex
    DiGiuseppe, Nick
    Gee, Jefferey
    Hsiao, Shang-Pin
    Mattox, Sean
    Park, Taejoon
    Selvaraj, Saravanan
    Tam, Albert
    Carlsson, Marcel
    [J]. ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2009, 1 (02): : 91 - 103
  • [8] Verifying security properties of internet protocol stacks: The split verification approach
    Poroor, Jayaraj
    Jayaraman, Bharat
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (03) : 269 - 281
  • [9] A Model Based Security Testing Method for Protocol Implementation
    Fu, Yu Long
    Xin, Xiao Long
    [J]. SCIENTIFIC WORLD JOURNAL, 2014,
  • [10] Cryptographic security in the internet protocol suite: Practice and proposals
    Zaba, Stefek
    [J]. Information Security Technical Report, 2 (02): : 54 - 73
12345