SDL specification of a security architecture for WorldFIP

被引：0

作者：

Chávez, ML ^{[1
]}

Henríquez, FR ^{[1
]}

机构：

[1] Benemerita Univ Autonoma Puebla, Fac Ciencias Computac, Puebla 72570, Mexico

来源：

14TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS, AND COMPUTERS, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/ICECC.2004.1269564

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper discusses the security in the fieldbuses, and presents a security architecture for the centralized fieldbuses, such as WorldFIP. The discussion takes into account, on one hand, the security services defined by the OSI Security Architecture, and on the other hand, the security mechanisms defined by WorldFIP. The discussion shows that there are two critical points for attacking this network: the Bus Arbitrator and the bus. This paper presents then the specification, using the Specification and Description Language (SDL), of a security architecture for WorldFIP based on the RC4 algorithm, which is a lightweight cryptographic stream cipher.

引用

页码：149 / 154

页数：6

共 50 条

[1] Deriving an SDL specification with a given architecture from a set of MSCs
Robert, G
Khendek, F
Grogono, P
SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 197 - 212
[2] Interpretation of SDL specification in LOTOS
Ando, Tsuyoshi
Ohta, Masataka
Takahashi, Kaoru
1600, Scripta Technica Inc, New York, NY, United States (25):
[3] INTERPRETATION OF SDL SPECIFICATION IN LOTOS
ANDO, T
OHTA, M
TAKAHASHI, K
SYSTEMS AND COMPUTERS IN JAPAN, 1994, 25 (07) : 19 - 38
[4] Ripple effect in SDL specification
Chen, SQ
Yang, FC
Chen, JL
1996 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOLUMES 1 AND 2 - PROCEEDINGS, 1996, : 238 - 243
[5] Evaluating Security Specification Mining for a CISC Architecture
Deutschbein, Calvin
Sturton, Cynthia
PROCEEDINGS OF THE 2020 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), 2020, : 164 - 175
[6] Formal Specification of Software Architecture Security Tactics
Wyeth, Andrew
Zhang, Cui
22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
[7] Transforming SDL diagrams in a DEVS specification
Casas, Pau Fonseca i
PROCEEDINGS OF THE SIXTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION: SCIENCE AND TECHNOLOGY FOR DEVELOPMENT IN THE 21ST CENTURY, 2006, : 216 - 221
[8] Using SDL diagrams in a DEVS specification
Fonseca, P
Casanovas, J
PROCEEDINGS OF THE FIFTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION, 2005, : 67 - 72
[9] SDL - CCITT SPECIFICATION AND DESCRIPTION LANGUAGE
ROCKSTROM, A
SARACCO, R
IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (06) : 1310 - 1318
[10] Verification of an SDL specification - A case study
Vlaovič, Boštjan
Vreze, Aleksander
Brezočnik, Zmago
Kapus, Tatjana
Elektrotehniski Vestnik/Electrotechnical Review, 2005, 72 (01): : 14 - 21

← 1 2 3 4 5 →