Results 11 to 20 of about 355,493 (267)
Developing security protocols by refinement [PDF]
Proceedings of the 17th ACM conference on Computer and communications security, 2010 We propose a development method for security protocols based on stepwise refinement. Our refinement strategy transforms abstract security goals into protocols that are secure when operating over an insecure channel controlled by a Dolev-Yao-style intruder.
Christoph Sprenger 0001, David A. Basin
openaire +2 more sources
Security Assurance Model of Software Development for Global Software Development Vendors
IEEE Access, 2022 The number of security attacks and the impact has grown considerably in the recent several years. As a result, new emerging software development models are required that assist in developing software that is secure by default.
Rafiq Ahmad Khan +3 more
doaj +1 more source
Securing Development: Public Finance and the Security Sector [PDF]
, 2016 This book highlights the role played by public finance in the delivery of security and criminal justice services. It seeks to strengthen policy and operational dialogue on security sector issues by providing national and international stakeholders with key information on security expenditure policy and management.
Harborne, Bernard +2 more
openaire +2 more sources
Proposition of national water safety discipline and construction of its discipline system
Shui kexue jinzhan, 2022 National security is the basic premise for the survival and development of country, and the most fundamental guarantee for safeguarding national interests.
Hao WANG, Qiting ZUO, Yunzhong JIANG
doaj +1 more source
Вісник Харківського національного університету імені В.Н. Каразіна: Серія Міжнародні відносини, економіка, країнознавство, туризм, 2021 The problems of development and construction of a universal consolidated strategy of interaction of IT services and information security, which is based on the study and in-depth analysis of statistics on the current situation with the interaction of ...
Serhii Lubenets +2 more
doaj +1 more source
Computer-Aided Sensor Development Focused on Security Issues
Sensors, 2016 The paper examines intelligent sensor and sensor system development according to the Common Criteria methodology, which is the basic security assurance methodology for IT products and systems.
Andrzej Bialas
doaj +1 more source
Sensors, 2010 The paper is focused on the security issues of sensors provided with processors and software and used for high-risk applications. Common IT related threats may cause serious consequences for sensor system users.
Andrzej Bialas
doaj +1 more source
Security culture as a social resource of national security [PDF]
Војно дело, 2014 This paper presents security culture as a social resource and a factor in the development of the national security, involving two important processes: first, as a transfer of national culture into security culture, and second, as a transfer of national ...
Stanarević Svetlana S. +1 more
doaj +1 more source
Analytic Hierarchy Process Framework for Water Security Management in Egypt [PDF]
Port Said Engineering Research Journal, 2022 Water security is one of the main serious constraints for development in Egypt. Furthermore, it is essential to develop strategies for the water sector in an integrated way.
Mohamed Hamed
doaj +1 more source
Sensors, 2011 Intelligent sensors experience security problems very similar to those inherent to other kinds of IT products or systems. The assurance for these products or systems creation methodologies, like Common Criteria (ISO/IEC 15408) can be used to improve the ...
Andrzej Bialas
doaj +1 more source