THE DEVELOPMENT AND PROOF OF A FORMAL SPECIFICATION FOR A MULTILEVEL SECURE SYSTEM

被引：4
|
作者：
GLASGOW, JI
MACEWEN, GH
机构：
来源：
ACM TRANSACTIONS ON COMPUTER SYSTEMS | 1987年 / 5卷 / 02期
关键词：
D O I：
10.1145/13677.22724
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：151 / 184
页数：34
相关论文
共 50 条
  • [1] Formal specification and proof of Gridjack
    Mao, Li
    Qi, Deyu
    [J]. 2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 1, 2012, : 110 - 114
  • [2] ON FORMAL SPECIFICATION OF A PROOF TOOL
    ARTHAN, RD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 356 - 370
  • [3] Formal specification for secure electronic data interchange system in Maude
    Wu, JunFeng
    Miao, HuaiKou
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2007, : 526 - +
  • [4] A Core Calculus for Secure Hardware: Its Formal Semantics and Proof System
    Reynolds, Thomas N.
    Procter, Adam
    Harrison, William L.
    Allwein, Gerard
    [J]. MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 123 - 132
  • [5] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
    KNAPSKOG, SJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73
  • [6] Object modelling and formal specification during realtime system development
    ODonoghue, PG
    Murphy, MH
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1996, 19 (04) : 335 - 352
  • [7] Formal specification of system functions
    Spanfelner, Bernd
    Leuxner, Christian
    Sitou, Wassiou
    [J]. 2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE), 2009, : 26 - 31
  • [8] Formal Specification of Medical Systems by Proof-Based Refinement
    Mery, Dominique
    Singh, Neeraj Kumar
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [9] Making the most of formal specification through animation, testing and proof
    Bicarregui, J
    Dick, J
    Matthews, B
    Woods, E
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 53 - 78
  • [10] Formal specification and development of a safety-critical train management system
    Chiappini, A
    Cimatti, A
    Porzia, C
    Rotondo, G
    Sebastiani, R
    Traverso, P
    Villafiorita, A
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 410 - 419
12345