Localized delimited release: Combining the what and where dimensions of information release

PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

Volumn , Issue , 2007, Pages 53-60

  Askarov, Aslan ^a   Sabelfeld, Andrei ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Declassification; Downgrading; Information flow; Noninterference; Security policies

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; SECURITY OF DATA;

DECLASSIFICATION; DOWNGRADING; INFORMATION FLOW; INFORMATION RELEASE;

INFORMATION SYSTEMS;

EID: 36448980958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1255329.1255339     Document Type: Conference Paper

References (14)

1. Leonard M. Adleman. An abstract theory of computer viruses. In Advances in Cryptology - CRYPTO '88, volume 403 of Lecture Notes in Computer Science, pages 354-374, 1988.
2. G. Bonfante, M. Kaczmarek, and J.-Y. Marion. On abstract computer virology from a recursion theoretic perspective. Journal in Computer Virology, 1(3-4):45-54, 2005.
3. G. Bonfante, M. Kaczmarek, and J.-Y. Marion. A classification of viruses through recursion theorems. In CiE'07 - Computation and Logic in the Real World, 2007. To appear.
4. CA. Virus Information Center: Win32/Sality Family, 2006. http://www3.ca.com/securityadvisor/virusinfo/virus.aspx?ID=52797.
5. J. Case. Periodicity in generations of automata. Mathematical Systems Theory, 8:15-32, 1974.
6. J. Case. Infinitary self-reference in learning theory. Journal of Experimental and Theoretical Artificial Intelligence, 6:3-16, 1994.
7. F. Cohen. Computational aspects of computer viruses. Computers and Security, 8(4):325-344, 1989.
8. E. Post. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, 50:284-316, 1944.
9. H. Rogers. Gödel numberings of partial recursive functions. Journal of Symbolic Logic, 23:331-341, 1958.
10. H. Rogers. Theory of Recursive Functions and Effective Computability. McGraw Hill, New York, 1967. Reprinted, MIT Press, 1987.
11. SecuriTeam. Remote Shell Trojan: Threat, Origin and Solution, 2001. http://www.securiteam.com/unixfocus/5MP022K5GE.html.
12. Sophos. First ever virus for Mac OS X discovered, 2006. http://www.sophos.com/pressoffice/news/articles/2006/02/macosxleap.html.
13. Z. Zuo and M. Zhou. Some further theoretical results about computer viruses. The Computer Journal, 47(6):627-633, 2004.
14. Z. Zuo, Q. Zhu, and M. Zhou. On the time complexity of computer viruses. IEEE Transactions on Information Theory, 51(8):2962-2966, 2005.