PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence-Reference-Cited by-同舟云学术

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence

Published:2014 Issue: Volume: Page:109-123
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Huth Michael,Kuo Jim Huan-Pu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54862-8_8

Reference19 articles.

1. Announcement of Cybersecurity Collaborative Research Alliance. Press Release, US Army Research Laboratory (October 15, 2013)

2. Lecture Notes in Computer Science;S. Bistarelli,2008

3. Chakraborty, S., Ray, I.: TrustBAC: integrating trust relationships into the RBAC model for access control in open systems. In: Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies, SACMAT 2006, pp. 49–58. ACM, New York (2006)

4. Crampton, J., Huth, M., Morisset, C.: Policy-based access control from numerical evidence. Tech. Rep. 2013/6, Imperial College London, Department of Computing (October 2013) ISSN 1469-4166 (Print), ISSN 1469-4174 (Online)

5. De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011)

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

1. From Risk Management to Risk Engineering;Handbook of System Safety and Security;2017

2. The Search for Trust Evidence;Communications in Computer and Information Science;2016

3. Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks;Computer Security -- ESORICS 2015;2015

4. On Designing Usable Policy Languages for Declarative Trust Aggregation;Lecture Notes in Computer Science;2014