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 条
  • [31] EtherVote: a secure smart contract-based e-voting system
    Spanos, Achilleas
    Kantzavelou, Ioanna
    WIRELESS NETWORKS, 2025, 31 (02) : 1279 - 1299
  • [32] Union Discourse and Perceived Violation of Contract A Social Contract-Based Approach
    Peyrat-Guillard, Dominique
    RELATIONS INDUSTRIELLES-INDUSTRIAL RELATIONS, 2008, 63 (03): : 479 - 501
  • [33] Contract-Based Slicing
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 106 - 120
  • [34] Contract-based testing
    Aichernig, BK
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 34 - 48
  • [35] BillingOpsSC: Smart Contract-based Service Billing Management Method for Consortium Blockchain-based Systems
    Sato, Tatsuya
    Shimosawa, Taku
    Yamai, Nariyoshi
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 1101 - 1106
  • [36] Contract-based web service composition framework with correctness guarantees
    Milanovic, N
    SERVICE AVAILABILITY, 2005, 3694 : 52 - 67
  • [37] Incentive Mechanism for Participatory Sensing: A Contract-Based Approach
    Chen, Zhonghui
    Lin, Yeting
    Feng, Xinxin
    Zheng, Haifeng
    Xu, Yiwen
    2017 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2017, : 325 - 332
  • [38] Contract-Based Security Monitors for Service Oriented Software Architecture
    Hoole, Alexander M.
    Traore, Issa
    2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 1239 - 1245
  • [39] Contract-Based Incentive Mechanism for Cooperative NOMA Systems
    Tang, Rui
    Cheng, Julian
    Cao, Zhaoxin
    IEEE COMMUNICATIONS LETTERS, 2019, 23 (01) : 172 - 175
  • [40] Contract-based Generic Programming Mechanism for Dynamic Service Orchestration
    Xie, Wuping
    Xue, Jinyun
    Jiang, Dongming
    2014 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY (CIT), 2014, : 252 - 257