TOOLS AND TECHNIQUES FOR THE DEVELOPMENT OF SECURE SOFTWARE

被引:0
|
作者
DAVEY, J
机构
关键词
SYSTEM DEVELOPMENT; SAFETY CRITICAL SYSTEMS; SYSTEM DEVELOPMENT ENVIRONMENT; SYSTEM DEVELOPMENT TOOLS AND TECHNIQUES;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
System development projects in health care have not properly addressed the issues of availability, confidentiality and integrity. The safety critical aspects of health care have not been well recognised in the context of information systems, as opposed to medical devices where considerable effort has been made to ensure the 'correctness' of the device before it is authorised for use. Consideration should be given at the start of the development process to the particular requirements of the project and the project should be structured to ensure that the specific functional requirements for security are satisfied. In addition the development process itself must be conducted in a rigorous fashion in order to ensure-and to demonstrate-that the end product has the appropriate degree of 'correctness'. Suitable tools and techniques will be required to assist the efficiency and the integrity of this process.
引用
收藏
页码:173 / 178
页数:6
相关论文
共 50 条
  • [41] Adherence to Secure Software Development Lifecycle
    Omar, Alaa'
    Alsadeh, Ahmad
    Nawahdah, Mamoun
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 410 - 417
  • [42] TOOLS AND TECHNIQUES FOR BUILDING AND TESTING SOFTWARE SYSTEMS
    FOWLER, GS
    HUMELSINE, JE
    OLSON, CH
    AT&T TECHNICAL JOURNAL, 1992, 71 (06): : 46 - 61
  • [43] Incremental Benchmarks for Software Verification Tools and Techniques
    Weide, Bruce W.
    Sitaraman, Murali
    Harton, Heather K.
    Adcock, Bruce
    Bucci, Paolo
    Bronish, Derek
    Heym, Wayne D.
    Kirschenbaum, Jason
    Frazier, David
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 84 - +
  • [44] software technology Modeling Usage: Techniques and Tools
    Riedemann, Catharina
    Freitag, Regine
    IEEE SOFTWARE, 2009, 26 (02) : 20 - 24
  • [45] SOFTWARE ENGINEERING: AN OVERVIEW OF TOOLS AND TECHNIQUES.
    Culler, Minga J.B.
    Fundamentals of Aerospace Instrumentation, Proceedings, 1986, : 9 - 24
  • [46] Software tools and techniques for fog and edge computing
    Ranjan, Rajiv
    Villari, Massimo
    Shen, Haiying
    Rana, Omer
    Buyya, Rajkumar
    SOFTWARE-PRACTICE & EXPERIENCE, 2020, 50 (05): : 473 - 475
  • [47] Software Tools, Techniques and Architectures for Computer Simulation
    Wainer, Gabriel A.
    Dalle, Olivier
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2010, 86 (5-6): : 267 - 269
  • [48] Adaption of Integrated Secure Guide for Secure Software Development Lifecycle
    Lee, Ki-Hyun
    Park, Young B.
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (06): : 145 - 154
  • [49] Adaption of a Secure Software Development Methodology for Secure Engineering Design
    Von Solms, Sune
    Futcher, Lynn A.
    IEEE ACCESS, 2020, 8 : 125630 - 125637
  • [50] Special issue on "techniques to produce intelligent secure software"
    Fujita, Hamido
    KNOWLEDGE-BASED SYSTEMS, 2007, 20 (07) : 614 - 616