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 条
  • [31] A View-based Approach for Service-Oriented Security Architecture Specification
    Dikanski, Aleksander
    Abeck, Sebastian
    PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2011), 2011, : 207 - 213
  • [32] Automatic translation from SDL specification to distributed Erlang implementation
    Kunstic, M
    Jukic, O
    Mikuc, M
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 81 - 84
  • [33] Concurrent specification and timing analysis of digital hardware using SDL
    Turner, KJ
    Argul-Marin, FJ
    Laing, SD
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1001 - 1008
  • [34] Applying SDL to formal analysis of security systems
    López, J
    Ortega, JJ
    Troya, JM
    SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 300 - 316
  • [35] Simulation of IP Mobility Support: An experiment in mobile protocol specification with SDL
    Toro, M
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 119 - 134
  • [36] SDL-based specification and testing strategy for communication network protocols
    Monkewich, O
    SDL'99: THE NEXT MILLENNIUM, 1999, : 123 - 134
  • [37] USING GENERIC EVENT FOR A SIMPLE REFLEXIVE INTELLIGENT AGENT SDL SPECIFICATION
    Fonseca, Pau
    Casanovas, Josep
    INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 261 - 266
  • [38] Security Analysis of DTN Architecture and Bundle Protocol Specification for Space-Based Networks
    Ivancic, William D.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [39] Specification for security Orchestration
    Goutam, Aradhana
    Kamal, Raj
    Ingle, Maya
    INTERNATIONAL CONFERENCE ON MODELLING OPTIMIZATION AND COMPUTING, 2012, 38 : 429 - 441
  • [40] Security specification and verification
    Fenkam, P
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
12345