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
关键词
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 条
  • [21] Specification of synchronous sequential circuits using SDL and ObjectGEODE
    Kapus, T
    COMPUTER STANDARDS & INTERFACES, 2002, 24 (03) : 257 - 274
  • [22] Model checking of concurrent system with SDL-- specification
    Blaskevic, B
    Dembitz, S
    Knezevic, P
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 77 - 80
  • [23] Automated generation of Promela model from SDL specification
    Vlaovic, Bostjan
    Vreze, Aleksander
    Brezocnik, Zmago
    Kapus, Tatjana
    COMPUTER STANDARDS & INTERFACES, 2007, 29 (04) : 449 - 461
  • [24] Design for testability of communication protocols based on SDL specification
    Karoui, K
    Dssouli, R
    Yevtushenko, N
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
  • [25] Toward automatic generation of promela models from SDL specification
    Vlaovic, B
    Vreze, E
    Brezocnik, Z
    Kapus, T
    CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 639 - 644
  • [26] Application of SDL-92 for the specification of OSI management systems
    Rodríguez, M
    Calmeau, R
    Fernández, E
    INTEGRATED NETWORK MANAGEMENT VI: DISTRIBUTED MANAGEMENT FOR THE NETWORKED MILLENNIUM, 1999, : 447 - 460
  • [27] Specification, validation and implementation of ATM UNI signaling protocols in SDL
    Dong, YP
    Lu, YH
    Gao, QA
    SDL'99: THE NEXT MILLENNIUM, 1999, : 341 - 353
  • [28] Specification and implementation of distributed systems using SDL-technology
    Kalnin'sh, Ya.Ya.
    Krastin'sh, P.Ya.
    Avtomatika i Vychislitel'naya Tekhnika, 1992, (01): : 19 - 23
  • [29] Specification architecture
    Turner, KJ
    Scollo, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 393 - 395
  • [30] On Architecture Specification
    Broy, Manfred
    SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 19 - 39