Probabilistic cost enforcement of security policies-Reference-Cited by-同舟云学术

Probabilistic cost enforcement of security policies

Published:2015-11-02 Issue:6 Volume:23 Page:759-787
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

Author:

Mallios Yannis¹,Bauer Lujo¹²,Kaynar Dilsun³,Martinelli Fabio⁴,Morisset Charles⁵

Affiliation:

1. Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA. E-mail: mallios@cmu.edu

2. Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA. E-mail: lbauer@cmu.edu

3. Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA. E-mail: dilsun@cs.cmu.edu

4. Istituto di Informatica e Telematica, National Research Council, Pisa, Italy. E-mail: Fabio.Martinelli@iit.cnr.it

5. Newcastle University, Newcastle, UK. E-mail: charles.morisset@newcastle.ac.uk

Publisher

IOS Press

Subject

Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software

Reference32 articles.

1. [1]A. Appel, Modern Compiler Implementation in ML: Basic Techniques, Cambridge Univ. Press, 1997.

2. [2]C. Baier, M. Grober, M. Leucker, B. Bollig and F. Ciesinski, Controller synthesis for probabilistic systems, in: Proceedings of IFIP TCS, 2004.

3. [3]H. Barringer, A. Goldberg, K. Havelund and S. Koushik, Program monitoring with LTL in EAGLE, in: Proceedings of the 18th International Parallel and Distributed Processing Symposium, 2004.

4. [4]D. Basin, V. Jugé, F. Klaedtke and E. Zălinescu, Enforceable security policies revisited, in: Proceedings of POST 2012, Lecture Notes in Computer Science, Vol. 7215, 2012, pp. 309–328.

5. [5]D. Basin, E.-R. Olderog and P.E. Sevinc, Specifying and analyzing security automata using CSP-OZ, in: Proceedings ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2007, pp. 70–81.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Estimating the Cost of Cybersecurity Activities with CAsPeA: A Case Study and Comparative Analysis;Information Systems Security;2020