Towards Formal Analysis of Insider Threats for Auctions-Reference-Cited by-同舟云学术

Towards Formal Analysis of Insider Threats for Auctions

Published:2016-10-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats
language:
Short-container-title:

Author:

Kammueller Florian¹,Kerber Manfred²,Probst Christian W.³

Affiliation:

1. Middlesex University London, London, Gt Britain

2. University of Birmingham, Birmingham, Gt Britain

3. Technical University of Denmark, Copenhagen, Denmark

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2995959.2995963

Reference25 articles.

1. Imperfect Forward Secrecy

2. Sound Auction Specification and Implementation

3. D. M. Cappelli A. P. Moore and R. F. Trzeciak. The CERT Guide to Insider Threats: How to Prevent Detect and Respond to Information Technology Crimes (Theft Sabotage Fraud). SEI Series in Software Engineering. Addison-Wesley Professional 1 edition Feb. 2012. D. M. Cappelli A. P. Moore and R. F. Trzeciak. The CERT Guide to Insider Threats: How to Prevent Detect and Respond to Information Technology Crimes (Theft Sabotage Fraud). SEI Series in Software Engineering. Addison-Wesley Professional 1 edition Feb. 2012.

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

1. Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders;HCI for Cybersecurity, Privacy and Trust;2022

2. Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework;Lecture Notes in Computer Science;2022

3. A Survey of Host-Based Advanced Persistent Threat Detection Technology;Computer Science and Application;2022

4. Tracking the Insider Attacker: A Blockchain Traceability System for Insider Threats;Sensors;2020-09-16

5. Malicious Insider Attack Detection in IoTs Using Data Analytics;IEEE Access;2020