On the Modelling, Analysis, and Mitigation of Distributed Covert Channels
作者： Jason Jaskolka
DOI:
关键词:
摘要:
参考文章(143)
Taeshik Sohn, JungTaek Seo, Jongsub Moon, A Study on the Covert Channel Detection of TCP/IP Header Using Support Vector Machine international conference on information and communication security. pp. 313- 324 ,(2003) , 10.1007/978-3-540-39927-8_29
Jason Jaskolka, Ridha Khedri, Qinglei Zhang, Endowing Concurrent Kleene Algebra with Communication Actions International Conference on Relational and Algebraic Methods in Computer Science. pp. 19- 36 ,(2014) , 10.1007/978-3-319-06251-8_2
Vincent Berk, George Cybenko, Annarita Giani, Covert Channel Detection Using Process Query Systems ,(2005)
Andrea Schaerf, Werner Nutt, Maurizio Lenzerini, Daniele Nardi, Francesco M. Donini, Adding Epistemic Operators to Concept Languages. principles of knowledge representation and reasoning. pp. 342- 353 ,(1992)
Rajarathnam Chandramouli, Ashish Patel, M. Shah, Koduvayur P. Subbalakshmi, Covert Channel Forensics on the Internet: Issues, Approaches, and Experiences International Journal of Network Security. ,vol. 5, pp. 41- 50 ,(2007) , 10.6633/IJNS.200707.5(1).05
Sandra Ring, Eric Cole, Insider Threat: Protecting the Enterprise from Sabotage, Spying, and Theft ,(2005)
Mati Kilp, Ulrich Knauer, Alexander A. Mikhalev, Monoids, Acts and Categories: With Applications to Wreath Products and Graphs. a Handbook for Students and Researchers ,(2000)
Vaughan Pratt, Action logic and pure induction JELIA '90 Proceedings of the European workshop on Logics in AI. pp. 97- 120 ,(1990) , 10.1007/BFB0018436
Hans P Van Ditmarsch, Wiebe Van Der Hoek, BP Kooi, Concurrent Dynamic Epistemic Logic Knowledge Contributors, Synthese Library Series. pp. 105- 143 ,(2003) , 10.1007/978-94-007-1001-6_6
U Hebisch, Hanns Joachim Weinert, Semirings: Algebraic Theory and Applications in Computer Science ,(1998)