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 条
  • [1] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [2] A PROCESS ALGEBRA FOR TIMED SYSTEMS
    HENNESSY, M
    REGAN, T
    [J]. INFORMATION AND COMPUTATION, 1995, 117 (02) : 221 - 239
  • [3] Dynamics Security Policies and Process Opacity for Timed Process Algebras
    Gruska, Damas P.
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 149 - 157
  • [4] ABSTRACT TIMED OBSERVATION AND PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 332 - 345
  • [5] Timed Mobility in process algebra and Petri nets
    Ciobanu, Gabriel
    Koutny, Maciej
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (07): : 377 - 391
  • [6] Testing semantics for a probabilistic-timed process algebra
    Gregorio-Rodriguez, C
    Llana-Diaz, L
    Nunez, M
    Palao-Gostanza, P
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 353 - 367
  • [7] A refinement-based process algebra for timed automata
    Cattani, S
    Kwiatkowska, M
    [J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 138 - 159
  • [8] Extending timed process algebra with discrete stochastic time
    Markovski, Jasen
    de Vink, Erik P.
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 268 - 283
  • [9] Automatic translation of a timed process algebra into dynamic state graphs
    Pardo, JJ
    Valero, V
    Cuartero, F
    Cazorla, D
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 63 - 70
  • [10] Timed process algebra (With a focus on explicit termination and relative-timing)
    Baeten, JCM
    Reniers, MA
    [J]. FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS, 2004, 3185 : 59 - 97
12345