A contract-based approach for secure service discovery systems

被引:0
|
作者
Nait-Sidi-Moh, A. [1 ]
Bakhouya, M. [2 ]
Wack, M. [1 ]
机构
[1] Univ Technol Belfort Montbeliart, F-90010 Belfort, France
[2] George Washington Univ, High Performance Comp Lab, Washington, DC 20052 USA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Future distributed computing systems will be ubiquitous and provide accesses to a wide range of services at any time, every where, and from a variety of devices. The monitoring and controlling accesses to services are one of the fundamental challenges that must be faced in the context of ubiquitous and pervasive environments. To address services accesses issues, it is necessary to guaranty the user access to utilize the allowed and available services. More precisely, an access control must be granted to services in order to regulate their usage. In this paper, a contract-based approach for monitoring and controlling accesses to services in ubiquitous environments is presented. In this approach, client agents and server agents are bounded by contracts: the server agent expects that the client agent will not attempt to access other services than those it required, and the client agent expects that the server agent will provide the required service.
引用
收藏
页码:437 / +
页数:2
相关论文
共 50 条
  • [21] Contract-Based Verification of Hierarchical Systems of Components
    Quinton, Sophie
    Graf, Susanne
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 377 - 381
  • [22] A Contract-Based Formalism for the Specification of Heterogeneous Systems
    Benvenuti, Luca
    Ferrari, Alberto
    Mangeruca, Leonardo
    Mazzi, Emanuele
    Passerone, Roberto
    Sofronis, Christos
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
  • [23] Managing Reputation in Contract-Based Distributed Systems
    Baldoni, Roberto
    Doria, Luca
    Lodi, Giorgia
    Querzoni, Leonardo
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, 2009, 5870 : 760 - 772
  • [24] Contract-based coordination of distributed object systems
    Giese, H
    Graf, J
    Wirtz, G
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 25 - 31
  • [25] Validating Industrial Requirements with a Contract-Based Approach
    Bernaerts, Matthias
    Oakes, Bentley James
    Vanherpen, Ken
    Aelvoet, Bjorn
    Vangheluwe, Hans
    Denil, Joachim
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 18 - 27
  • [26] A Temporal Logics Approach to Contract-Based Design
    Cimatti, Alessandro
    Tonetta, Stefano
    2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 1 - 3
  • [27] Contract-based approach to analyze software components
    Zitouni, A.
    Seinturier, L.
    Boufaida, M.
    ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 237 - 242
  • [28] A contract-based component model for embedded systems
    Li, SY
    Wu, J
    Hu, ZG
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 232 - 239
  • [30] Smart Contract-Based Secure Model for Miner Registration and Block Validation
    Zhang, Shire
    Lee, Jong-Hyouk
    IEEE ACCESS, 2019, 7 : 132087 - 132094