Proof-based approach to mobile code safety

被引：0
|
作者：
Tsukada, Yasuyuki
机构：
来源：
NTT R and D | 2002年 / 51卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
18
引用
收藏
页码：765 / 771
相关论文
共 50 条
  • [1] Interactive and probabilistic proof of mobile code safety
    Tsukada Y.
    [J]. Automated Software Engineering, 2005, 12 (2) : 237 - 257
  • [2] Industrialising a proof-based verification approach of computerised interlocking systems
    Behnia, S.
    Mammar, A.
    Mota, J-M.
    Breton, N.
    Caspi, P.
    Raymond, P.
    [J]. COMPUTERS IN RAILWAYS XI: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2008, 103 : 143 - 152
  • [3] Towards a Proof-based SLA Management Framework The SPECS Approach
    Stopar, Miha
    Modic, Jolanda
    Petcu, Dana
    Rak, Massimiliano
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 2 (CLOSER), 2016, : 240 - 248
  • [4] Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
    Ndukwu, Ukachukwu
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (13): : 27 - 39
  • [5] Proof-Based Design of Security Protocols
    Benaissa, Nazim
    Mery, Dominique
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 25 - 36
  • [6] A Proof-Based Account of Legal Exceptions
    d'Almeida, Luis Duarte
    [J]. OXFORD JOURNAL OF LEGAL STUDIES, 2013, 33 (01) : 133 - 168
  • [7] An Abstract Interpretation-based Approach to Mobile Code Safety
    Albert, Elvira
    Puebla, German
    Hermenegildo, Manuel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 132 (01) : 113 - 129
  • [8] Alliance of model-driven engineering with a proof-based formal approach
    Idani, Akram
    Ledru, Yves
    Vega, German
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2020, 16 (3-4) : 289 - 307
  • [9] Alliance of model-driven engineering with a proof-based formal approach
    Akram Idani
    Yves Ledru
    German Vega
    [J]. Innovations in Systems and Software Engineering, 2020, 16 : 289 - 307
  • [10] Proof-based teaching as a basis for understanding why
    Reid, David
    Vargas, Estela Vallejo
    [J]. PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10), 2017, : 235 - 242
12345