Process Opacity for Timed Process Algebra

被引：4
|
作者：
Gruska, Damas P. [1 ]
机构：
[1] Comenius Univ, Inst Informat, Bratislava 84248, Slovakia
来源：
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014 | 2015年 / 8974卷
关键词：
Process opacity; Process algebras; Information flow; Security; SECURITY;
D O I：
10.1007/978-3-662-46823-4_13
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A new security concept called process opacity is formalized and studied. For processes which are process opaque with respect to a given predicate over processes, an intruder cannot learn validity of this predicate for any subsequent state of computation. We discuss different extensions of this concept as well as its properties. We put some restrictions on predicates in such a way that we obtain decidable security properties.
引用
收藏
页码：151 / 160
页数：10
相关论文
共 50 条
  • [31] BLOOMFIELD PROCESS PHONOLOGY AND KIPARSKY OPACITY
    MINER, KL
    [J]. INTERNATIONAL JOURNAL OF AMERICAN LINGUISTICS, 1981, 47 (04) : 310 - 322
  • [32] Linear Process Algebra
    Pratt, Vaughan
    [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, 2011, 6536 : 92 - 111
  • [33] A Generic Process Algebra
    Baeten, Jos C. M.
    Bravetti, Mario
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
  • [34] AN ALGEBRA FOR PROCESS CREATION
    BAETEN, JCM
    VAANDRAGER, FW
    [J]. ACTA INFORMATICA, 1992, 29 (04) : 303 - 334
  • [35] Process algebra in PVS
    Basten, T
    Hooman, J
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 270 - 284
  • [36] Process Algebra as Modelling
    Tofts, Chris
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 323 - 326
  • [37] Parametric Timed Model Checking for Guaranteeing Timed Opacity
    Andre, Etienne
    Sun, Jun
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 115 - 130
  • [38] The Dark Side of Timed Opacity
    Cassez, Franck
    [J]. ADVANCES IN INFORMATION SECURITY AND ASSURANCE, 2009, 5576 : 21 - 30
  • [39] Bounded opacity for timed systems
    Ammar, Ikhlass
    El Touati, Yamen
    Yeddes, Moez
    Mullins, John
    [J]. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2021, 61
  • [40] Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra
    Zhu, Yi
    Huang, Zhiqiu
    Zhang, Guangquan
    Zhou, Hang
    Xiao, Fangxiong
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (07) : 1099 - 1116
12345