A metadata calculus for secure information sharing

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2009, Pages 488-499

  Srivatsa, Mudhakar ^a   Agrawal, Dakshi ^a   Reidt, Steffen ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Access control; Information flow; Risk management

Indexed keywords

B SPLINES; DEFENSE SECTORS; HALF-SPACE; INFORMATION FLOW; INFORMATION FLOWS; INFORMATION SHARING; INFORMATION TRANSFORMS; MODEL SECURITY; MULTI-LEVEL SECURITY; PARAMETRIC CURVE; SCALAR VALUES; SECURITY LABEL; STATIC SECURITY; STRONG HOMOMORPHISMS; TACTICAL INFORMATION;

ACCESS CONTROL; CALCULATIONS; INFORMATION RETRIEVAL; LABELS; METADATA; NETWORK SECURITY; RISK ANALYSIS; RISK MANAGEMENT; SECURITY SYSTEMS; SEMANTICS; SPLINES; VECTOR SPACES;

INFORMATION DISSEMINATION;

EID: 74049162371     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1653662.1653721     Document Type: Conference Paper

References (27)

1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols. In Proceedings of 4th ACM CCS, 1998.
2. D. Agrawal and C. C. Aggarwal. On the Design and Quantification of Privacy Preserving Data Mining Algorithms. In Proceedings of ACM SIGMOD Symposium on Principles of Database Systems, 2001.
3. L. Bauer, J. Ligatti, and D. Walker. A calculus for composing security policies. In Princeton University Technical Report TR-655-02, 2002.
4. M. J. Blosseville, G. Hebrail, M. G. Monteil, and N. Penot. Automatic document classification. In Proceedings of 15th ACM SIGIR, 1992.
5. P.-C. Cheng, P. Rohatgi, C. Keser, P.A. Karger, G.M. Wagner, and A.S. Reninger. Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. In Proceedings of the 2007 IEEE Symposium on Security and Privacy (SP 2007), pages 222-230. IEEE Computer Society, 2007.
6. P. R. Halmos. Finite-Dimensional Vector Spaces. Springer ISBN 978-0387900933, 1993.
7. A. Josang. The consensus operator for combining beliefs. In Artificial Intelligence Journal, 142(1-2), pp.157-170, 2002.
8. D. J. C. Mackay. Information Theory, Inference and Learning Algorithms. Cambridge University Press ISBN 978-0521642989, 2002.
9. A. Makhijani. A readiness to harm: The health effects of nuclear weapons complexes. http://www.armscontrol.org/act/2005 07-08/Makhijani.
10. D. McAnally and A. Josang. Addition and subtraction of beliefs. In Proceedings of the conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU2004), 2004.
11. C.D. McCollum and J.R. Messing L. Notargiacomo. Beyond the Pale of MAC and DAC-Defining New Forms of Access Control. In Proceedings of the 1990 IEEE Symposium on Security and Privacy (S&P 1990), pages 190-200. IEEE Computer Society, 1990.
12. A.C. Myers and B. Liskov. A Decentralized Model for Information Flow Control. In Proceedings of the 1997 Symposium on Operating Systems Principles (SOSP 1997), pages 129-142. ACM Press, 1997.
13. A.C. Myers and B. Liskov. Complete Safe Inforamtion Flow with Decentralized Labels. In Proceedings of the 1998 IEEE Symposium on Security and Privacy (S&P 1998), pages 186-197. IEEE Computer Society, 2001.
14. Jason Prograrm Office. HORIZONTAL INTEGRATION: Broader Access Models for Realizing Information Dominance. Special Report JSR-04-13, MITRE Corporation, 2004.
15. J. R. Pierce. An Introduction to Information Theory. Dover Publications ISBN 978-0486240619, 1980.
16. H. Prautzsch, W. Boehm, and M. Paluszny. Bezier and B-Spline Techniques. Sprinter Verlag ISBN 978-3-540-43761-1, 2002.
17. J. A. Rees. A security kernel based on lambda calculus. In MIT Press, 1996.
18. D. Roberts, G. Lock, and D.C. Verma. Holistan: A Futuristic Scenario for International Coalition Operations. In In Proceedings of Fourth International Conference on Knowledge Systems for Coalition Operations (KSCO 2007), 2007.
19. D. Sangiorgi and D. Walker. The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press ISBN: 978-0521543279, 2003.
20. D. Schorr. Official us deception: Can it be trusted? http://www. csmonitor.com/2002/0301/p11s02-cods.html, 2007.
21. Fabrizio Sebastiani. Machine learning in automated text categorization. In ACM Computing Surveys, 34(1):1-47, 2002.
22. M. Srivatsa, S. Balfe, K. Patterson, and P. Rohatgi. Trust management for secure information flows. In Proceedings of 15th ACM Conference on Computer and Communication Security (CCS), 2008.
23. M. Srivatsa, P. Rohatgi, and S. Balfe. Securing information flows: A quantitative risk analysis approach. In Proceedings of 27th IEEE Conference on Military Communications (MILCOM), 2008.
24. M. Srivatsa, P. Rohatgi, S. Balfe, and S. Reidt. Securing information flows: A metadata framework. In Proceedings of 1st IEEE Workshop on Quality of Information for Sensor Networks (QoISN), 2008.
25. N. Swamy, M. Hicks, and S. Tsang. Verified Enforcement of Security Policies for Cross-Domain Information Flows. In Proceedings of the 2007 Military Communications Conference (MILCOM 2007), pages 192-206. IEEE Computer Society, 2007.
26. J.A. Vaughan and S. Zdancewic. A Cryptographic Decentralized Label Model. In Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), pages 192-206. IEEE Computer Society, 2007.
27. S. Zdancewic and A.C. Myers. Secure Information flkows and CPS. In Proceedings of the 10th European Symposium on Programming (ESOP 2001), pages 46-61. Springer, 2001.