Covert channel resistant information leakage protection using a multi-agent architecture

IET Information Security

Volumn 4, Issue 4, 2010, Pages 233-247

  Bishop, S ^a   Okhravi, H ^b   Rahimi, S ^a   Lee, Y C ^a  

^a Southern Illinois University Carbondale   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-BASED APPROACH; AGENT-BASED SYSTEMS; CORRECTNESS PROPERTIES; COVERT CHANNELS; FILESYSTEM; INFORMATION LEAKAGE; LOCAL NETWORKS; MULTIAGENT ARCHITECTURE; OPERATING SYSTEMS; SECURITY CLASSIFICATION; SECURITY LABEL; SECURITY POLICY; SENSITIVE INFORMATIONS; SHARED RESOURCES; WATERMARKING ALGORITHMS;

COMPUTER OPERATING SYSTEMS; DIGITAL WATERMARKING; FORMAL METHODS; LAUNDERING; MOBILE AGENTS;

SECURITY OF DATA;

EID: 78650404228     PISSN: 17518709     EISSN: 17518717     Source Type: Journal    
DOI: 10.1049/iet-ifs.2009.0202     Document Type: Article

References (32)

1. National Computer Security Center: 'A guide to understanding covert channel analysis of trusted systems', NCSC-TG-30, November 1993, http://www.radium.ncsc.mil/tpep/library/rainbow, accessed May 2009
2. Okhravi, H., and Bak, S.: ' Colored linux: covert channel resistant OS information flow security ', (University of Illinois at Urbana-Champaign, 2008)
3. Tanaka, H.: ' Information leakage via electromagnetic emanation and effectiveness of averaging technique ', Proc. Int. Conf. on Information Security and Assurance, April, 2008, p. 98-101
4. '2006 Global Security Survey ', Research report, Deloitte, 2006
5. ' Insider threat study: illicit cyber activity in the information technology and telecommunications sector ', Technical report, National Threat Assessment Center and Carnegie Mellon University, January, 2008, CyLab
6. Alawneh, M., and Abbadi, I.M.: ' Preventing information leakage between collaborating organisations ', Proc. Tenth Int. Conf. on Electronic Commerce, 2008, 342, p. 1-10
7. Alawneh, M., and Abbadi, I.M.: ' Preventing insider information leakage for enterprises ', Proc. Second Int. Conf. on Emerging Security Information, Systems and Technologies, 2008, p. 99-106
8. Takesue, M.: ' A scheme for protecting the information leakage via portable devices'. Proc. Int. Conf. on Emerging Security Information, Systems, and Technologies ', 2007, p. 54-59
9. Chang, H., and Kim, K.: ' Design of inside information leakage prevention system in ubiquitous computing environment ', (Springer Berlin, 2005), (LNCS, 3483), p. 128-137
10. Cabuk, S.: ' Network covert channels: design, analysis, detection, and elimination ', 2006, PhD, Purdue University
11. Millen, J.: ' 20 years of covert channel modeling and analysis ', Proc. 1999 IEEE Symp. on Security and Privacy, 1999, p. 113-114
12. Zander, S., Armitage, G., and Branch, P.: ' Covert channels and countermeasures in computer network protocols ', IEEE Commun. Mag., 2007, 45, (12), p. 136-142 0163-6804
13. Qu, H., Su, P., and Feng, D.: ' A typical noisy covert channel in the IP protocol ', Proc. 38th Annual Int. Carnahan Conf. on Security Technology, 2004, p. 189-192
14. Li, S., and Ephremides, A.: ' A covert channel in MAC protocols based on splitting algorithms ', Proc. IEEE Wireless Communications and Networking Conf., 2005, 2, p. 1168-1173
15. Cabuk, S., Brodley, C., and Shields, C.: ' IP covert timing channels: design and detection ', Proc. 2004 ACM Conf. on Computer and Communications Security, 2004, p. 178-187
16. Wang, Z., and Lee, R.B.: ' Covert and side channels due to processor architecture ', Proc. 22nd Annual Computer Security Applications Conf., 2006, p. 473-482
17. Tsai, C., Gligor, V., and Chandersekaran, C.: ' On the identification of covert storage channels in secure systems ', IEEE Trans. Softw. Eng., 1990, 16, (6), p. 569-580 0098-5589 (Pubitemid 20737559)
18. Wang, C., and Ju, S.: ' Searching covert channels by identifying malicious subjects in the time domain ', Proc. Fifth Annual IEEE SMC Information Assurance Workshop, 2004, p. 68-73
19. Gianvecchio, S., and Wang, H.: ' Detecting covert timing channels: an entropy-based approach ', Proc. 14th ACM Conf. on Computer and Communications Security, 2007, p. 307-316
20. Melliar-Smith, P.M., and Moser, L.E.: ' Protection against covert storage and timing channels ', Proc. Computer Security Foundations Workshop IV, 1991, p. 209-214
21. Kang, M.H., Moskowitz, I.S., and Lee, D.C.: ' A network pump ', IEEE Trans. Softw. Eng., 1996, 22, p. 329-338 0098-5589
22. Kang, M.H., Moskowitz, I.S., and Lee, D.C.: ' The Pump: a decade of covert fun ', Proc. 21st Annual Computer Security Applications Conf., 2005, p. 352-360
23. Zhong, S., and Yang, Y.R.: ' Verifiable distributed oblivious transfer and mobile agent security ', Mobile Netw. Appl., 2006, 11, (2), p. 201-210 10.1007/s11036-005-4472-2 1383-469X
24. Burkle, A., Hertel, A., Mller, W., and Wieser, M.: ' Evaluating the security of mobile agent platforms ', Auton. Agents Multi-Agent Syst., 2008, 18, (2), p. 295-311 1387-2532
25. Munoz, A., Mana, A., Harjani, R., and Montenegro, M.: ' Agent protection based on the use of cryptographic hardware ', Proc. 2009 33rd Annual IEEE Int. Computer Software and Applications Conf., 2009, 2, p. 312-317
26. FIPA communicative Act Library Specification: 'Foundation for intelligent physical agents', 2000, http://www.fipa.org/specs/fipa00037/, accessed May 2009
27. Love, R.: ' Kernel korner: intro to inotify ', Linux J., 2005, p. 8 1075-3583
28. Dugad, R., Ratakonda, K., and Ahuja, N.: ' A New wavelet-based scheme for watermarking images ', Proc. Int. Conf. on Image Processing, October, 1998, 2, p. 419-423
29. Meerwald, P.: 'Digital watermarking', http://www.cosy.sbg.ac.at/~pmeerw/ Watermarking/, accessed May 2009
30. Kaufmann, M., and Moore, J.S.: ' ACL2: an industrial strength version of Nqthm ', (Computational Logic, Inc., 1996)
31. Kaufmann, M., and Boyer, R.S.: ' The Boyer-Moore theorem prover and its interactive enhancement ', Comput. Math. Appl., 1995, 29, (2), p. 27-62 0898-1221
32. Steele, G.: ' Common LISP: the language (LISP series) ', (Digital Press, 1984)