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 条
  • [1] Hybrid approach for secure mobile agent computations
    McDonald, J. Todd
    SECURE MOBILE AD-HOC NETWORKS AND SENSORS, 2006, 4074 : 38 - 53
  • [2] Engineering a secure mobile messaging framework
    Castiglione, Aniello
    Cattaneo, Giuseppe
    Cembalo, Maurizio
    De Santis, Alfredo
    Faruolo, Pompeo
    Petagna, Fabio
    Petrillo, Umberto Ferraro
    COMPUTERS & SECURITY, 2012, 31 (06) : 771 - 781
  • [3] Secure Web Framework For Mobile Devices
    Malik, Muneer
    Agrawal, Dharma P.
    2012 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), 2012, : 781 - 786
  • [4] A Secure Framework for Mobile Cloud Computing
    Al-Omary, Alauddin
    2019 INTERNATIONAL CONFERENCE ON INNOVATION AND INTELLIGENCE FOR INFORMATICS, COMPUTING, AND TECHNOLOGIES (3ICT), 2019,
  • [5] A secure communication framework for mobile agents
    Ugurlu, S
    Erdogan, N
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS, 2005, 3733 : 412 - 421
  • [6] A Framework for Secure Mobile Cloud Computing
    Ramavathu, Lakshmananaik
    Bairam, Manjula
    Manchala, Sadanandam
    PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS, ICCII 2016, 2017, 507 : 353 - 363
  • [7] A secure mobile local payment application framework
    Me, G
    SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 85 - 92
  • [8] A Secure Mobile Payment Framework in MANET Environment
    Ahamad, Shaik Shakeel
    Sastry, V. N.
    Udgata, Siba K.
    INTERNATIONAL JOURNAL OF E-BUSINESS RESEARCH, 2013, 9 (01) : 54 - 84
  • [9] A secure mulficast support framework for mobile IP
    Shankaran, R
    Varadharajan, V
    Hitchens, M
    WCNC 2003: IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE RECORD, VOLS 1-3, 2003, : 2114 - 2119
  • [10] A Secure Mobile Framework for m-services
    Papastergiou, Spyridon
    Karantjias, Athanasios
    Polemi, Despina
    Markovic, Milan
    2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008), 2008, : 309 - +
12345