Secure systems design technology

被引：0

作者：

Zegzhda, PD ^{[1
]}

Zegzhda, DP ^{[1
]}

机构：

[1] St Petersburg Tech Univ, Informat Secur Ctr, St Petersburg 195273, Russia

来源：

INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS | 2001年 / 2052卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Authors introduce a novel approach to the problem of secure system design, based on consistent and correct implementation of information flows and flow controls, fitted well with security policy, and on practical experience of security violation analysis. On this basis, concept of secure system design and development are proposed, forming a basis for secure information technologies development. Proposed technology and concepts can be applied from application tools and information systems design to operating system.

引用

页码：63 / 71

页数：9

共 50 条

[31] Design and Operation of Secure Cyber-Physical Systems
Pasqualetti, Fabio
Zhu, Qi
[J]. IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
[32] Analysis and design of secure cyber-physical systems
Shi L.
[J]. Control Theory and Technology, 2014, 12 (4) : 413 - 414
[33] A study on secure pilot signal design for OFDM systems
Umebayashi, K.
Nakabayashi, F.
Suzuki, Y.
[J]. 2014 ASIA-PACIFIC SIGNAL AND INFORMATION PROCESSING ASSOCIATION ANNUAL SUMMIT AND CONFERENCE (APSIPA), 2014,
[34] Design and implementation of secure embedded systems based on Trustzone
Xu Yan-ling
Pan Wei
Zhang Xin-guo
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 136 - +
[35] A Design Exploration Framework for Secure IoT-Systems
Gressl, Lukas
Rech, Alexander
Steger, Christian
Sinnhofer, Andreas
Weissnegger, Ralph
[J]. 2020 INTERNATIONAL CONFERENCE ON CYBER SITUATIONAL AWARENESS, DATA ANALYTICS AND ASSESSMENT (CYBER SA 2020), 2020,
[36] Secure Design Patterns for Security in Smart Metering Systems
Ur-Rehman, Obaid
Zivic, Natasa
[J]. UKSIM-AMSS NINTH IEEE EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2015), 2015, : 278 - 283
[37] Analysis and design of secure cyber-physical systems
Ling SHI
[J]. Control Theory and Technology, 2014, 12 (04) : 413 - 414
[38] Secure Design-for-Debug for Systems-on-Chip
Backer, Jerry
Hely, David
Karri, Ramesh
[J]. 2015 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2015,
[39] Secure Architecture and Design of Component-Based Systems
Goertzel, Karen Mercedes
[J]. Insight, 2009, 12 (02) : 23 - 26
[40] Design of secure operating systems with high security levels
SiHan Qing
ChangXiang Shen
[J]. Science in China Series F: Information Sciences, 2007, 50 : 399 - 418

← 1 2 3 4 5 →