Seal: A framework for secure mobile computations

被引：0
|
作者：
Vitek, J [1 ]
Castagna, G
机构：
[1] Univ Geneva, CUI, Object Syst Grp, CH-1211 Geneva 4, Switzerland
[2] Ecole Normale Super, CNRS, Lab Informat, Paris, France
来源：
INTERNET PROGRAMMING LANGUAGES, PROCEEDINGS | 1999年 / 1686卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Seal calculus is a distributed process calculus with localities and mobility of computational entities called seals. Seal is also a framework for writing secure distributed applications over large scale open networks such as the Internet. This paper motivates our design choices, presents the syntax and reduction semantics of the calculus, and demonstrates its expressiveness by examples focused on security and management distributed systems.
引用
收藏
页码：47 / 77
页数：31
相关论文
共 50 条
  • [21] Towards a Secure Mobile Edge Computing Framework for Hajj
    Rahman, Md. Abdur
    Hassanain, Elham
    Hossain, M. Shamim
    IEEE ACCESS, 2017, 5 : 11768 - 11781
  • [22] Formally Verified Secure and Scalable Mobile Governance Framework
    Al Qarni, Saeed MushailKafeer
    AlShehri, Mohammed
    Ahamad, Shaik Shakeel
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (05): : 83 - 87
  • [23] Open secure mobile agent framework for systems management
    Bellavista, Paolo
    Corradi, Antonio
    Stefanelli, Cesare
    Journal of Network and Systems Management, 1999, 7 (03): : 323 - 339
  • [24] The MP architecture: Towards a secure framework for mobile agents
    Ecole Nationale Supérieure d'Informatique, ESI, BP 68M Oued Smar, 16309, Algiers, Algeria
    不详
    不详
    Int. J. Agent-Oriented Softw. Eng., 4 (390-414):
  • [25] A multivariant secure framework for smart mobile health application
    Butt, Shariq Aziz
    Jamal, Tauseef
    Azad, Muhammad Ajmal
    Ali, Arshad
    Safa, Nader Sohrabi
    TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, 2022, 33 (08)
  • [26] An open secure Mobile Agent framework for systems management
    Bellavista P.
    Corradi A.
    Stefanelli C.
    Journal of Network and Systems Management, 1999, 7 (3) : 323 - 339
  • [27] An Architectural Framework for the Development of Secure Mobile Payment System
    Britto, S.
    Kumar, R.
    Rabara, S. Albert
    JOURNAL OF ALGORITHMS & COMPUTATIONAL TECHNOLOGY, 2010, 4 (04) : 443 - 462
  • [28] Towards a practical secure framework for mobile code commerce
    Hachez, G
    Den Hollander, L
    Jalali, M
    Quisquater, JJ
    Vasserot, C
    INFORMATION SECURITY, PROCEEDINGS, 2001, 1975 : 164 - 178
  • [29] A Framework for Secure Data Storage in Mobile Cloud Computing
    Thumar, Vinodray
    Vekariya, Vipul
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT ICT4SD 2015, VOL 2, 2016, 409 : 791 - 800
  • [30] A Secure Robust and Privacy Enhanced Mobile Healthcare Framework
    Alsaghier, Hisham M.
    Ahamad, Shaik Shakeel
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2018, 15 (03) : 61 - 81
12345