Plan it! automated security testing based on planning

被引：10
|
作者：
机构：
[1] Wotawa, Franz
[2] Bozic, Josip
来源：
Bozic, Josip (jbozic@ist.tugraz.at) | 1600年 / Springer Verlag卷 / 8763期
关键词：
D O I：
10.1007/978-3-662-44857-1_4
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Plan It! Automated Security Testing Based on Planning
    Wotawa, Franz
    Bozic, Josip
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2014), 2014, 8763 : 48 - 62
  • [2] Planning-based Security Testing of Web Applications
    Bozic, Josip
    Wotawa, Franz
    2018 IEEE/ACM 13TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), 2018, : 20 - 26
  • [3] PURITY: a Planning-based secURITY testing tool
    Bozic, Josip
    Wotawa, Franz
    2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, : 46 - 55
  • [4] Automated Testing of Planning Models
    Havelund, Klaus
    Groce, Alex
    Holzmann, Gerard
    Joshi, Rajeev
    Smith, Margaret
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2009, 5348 : 90 - 105
  • [5] Planning-based Security Testing of the SSL/TLS Protocol
    Bozic, Josip
    Kleine, Kristoffer
    Simos, Dimitris E.
    Wotawa, Franz
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 347 - 355
  • [6] PLAN GENERATION STRATEGIES FOR A KNOWLEDGE-BASED AUTOMATED PROCESS PLANNING SYSTEM
    MAYER, RJ
    HARI, U
    SU, CJ
    YEN, J
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1995, 8 (06) : 399 - 410
  • [7] Development of a coping plan based on Scenario Planning theory - from safety to Security
    Kobayashi, Yuki
    Akamatsu, Tomonari
    NIPPON SUISAN GAKKAISHI, 2024, 90 (06)
  • [8] SunDew: Systematic Automated Security Testing
    Babic, Domagoj
    SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 10 - 10
  • [9] Automated IoT security testing with SecLab
    Schwaiger, Patrick
    Simopoulos, Dimitrios
    Wolf, Andreas
    PROCEEDINGS OF THE IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2022, 2022,
  • [10] SunDew: Systematic Automated Security Testing
    Ivancic, Franjo
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020), 2020, : 3 - 3
12345