On the role of formal methods in security

被引：1

作者：

Rao, JR ^{[1
]}

机构：

[1] IBM Corp, Thomas J Watson Res Ctr, Yorktown Hts, NY 10598 USA

来源：

INFORMATION PROCESSING LETTERS | 2001年 / 77卷 / 2-4期

关键词：

program correctness; formal methods; separation of concerns; layers of abstraction; cryptography; block cipher design; power analysis;

D O I：

10.1016/S0020-0190(00)00216-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Separation of concerns and layers of abstraction have long been advocated by proponents of programming methodology and have been used effectively far building large scale systems. In this paper, we use recent developments on power analysis attacks on cryptographic implementations to raise some questions about the applicability of these approaches especially to cryptography and security. (C) 2001 Published by Elsevier Science B.V.

引用

页码：209 / 212

页数：4

共 50 条

[21] The role of formal methods in software standards
Kegley, KA
Stavridou, V
FOURTH IEEE INTERNATIONAL SYMPOSIUM AND FORUM ON SOFTWARE ENGINEERING STANDARDS - PROCEEDINGS, 1999, : 248 - 248
[22] The Role of abstract interpretation in formal methods
Cousot, Patrick
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 135 - 137
[23] Formal methods in software development applied to ADP-security
Hohlfeld, Bernhard
1600, De Gruyter Oldenbourg (28):
[24] Applying practical formal methods to the specification and analysis of security properties
Heitmeyer, C
INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 84 - 89
[25] Formal methods in the enhancement of the data security protocols of mobile agents
Al-Jaljouli, Raja
2006 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2006, : 475 - 483
[26] Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
Krichen, Moez
INFORMATION, 2023, 14 (12)
[27] Security requirements specification by formal methods: a research metadata analysis
Mishra, Aditya Dev
Mustafa, Khurram
MULTIMEDIA TOOLS AND APPLICATIONS, 2023, 83 (14) : 41847 - 41866
[28] Security requirements specification by formal methods: a research metadata analysis
Aditya Dev Mishra
Khurram Mustafa
Multimedia Tools and Applications, 2024, 83 : 41847 - 41866
[29] Formal Methods in Software Development Applied to ADP-Security.
Hohlfeld, Bernhard
Informationstechnik it: Computer, Systeme, Anwendungen, 1986, 28 (05): : 291 - 299
[30] THE ROLE OF FORMAL METHODS IN ACHIEVING DEPENDABLE SOFTWARE
THOMAS, M
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1994, 43 (02) : 129 - 134

← 1 2 3 4 5 →