A decision support system for secure information sharing

Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT

Volumn , Issue , 2009, Pages 105-114

  Fokoue, Achille ^a   Srivatsa, Mudhakar ^a   Rohatgi, Pankaj ^a   Wrobel, Peter ^b   Yesberg, John ^b  

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

^b CESG ^*  (United Kingdom)

Author keywords

Description logics; Flexible information sharing; Justification for non shareability; Semantic reasoning

Indexed keywords

ACCESS CONTROL POLICIES; DECISION SUPPORTS; DEFENSE SECTORS; DESCRIPTION LOGIC; DOMAIN ONTOLOGIES; DOMAIN SPECIFIC; ILLUSTRATIVE EXAMPLES; INFORMATION SHARING; MISSION CRITICAL; MULTI-LEVEL SECURITY; OPTIMAL DECISIONS; ORGANIZATIONAL BOUNDARIES; REASONER; SEMANTIC REASONING; SITUATION-AWARE; TACTICAL INFORMATION;

ACCESS CONTROL; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; DECISION SUPPORT SYSTEMS; DECISION THEORY; INFORMATION RETRIEVAL; METADATA; NETWORK SECURITY; ONTOLOGY; OPTIMIZATION; SECURITY SYSTEMS; SEMANTICS; TELECOMMUNICATION NETWORKS;

INFORMATION DISSEMINATION;

EID: 70049088429     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542207.1542226     Document Type: Conference Paper

References (29)

1. SHER: Scalable highly expressive reasoner. http://www.alphaworks.ibm.com/ tech/sher.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
3. L. Bauer, S. Garriss, and M. K. Reiter. Distributed Proving in Access Control Systems. In IEEE Symposium on Security and Privacy, 2005.
4. M. Y. Becker and P. Sewell. Cassandra: Distributed Access Control Policies with Tunable Expressiveness. In POLICY, 2004.
5. D. E. Bell and L. J. LaPadula. Secure Computer Systems: Mathematical Foundation. Technical Report 2547, vol. 1, MITRE Corporation, 1973.
6. P.-C. Cheng, P. Rohatgi, C. Keser, P. Karger, G. Wagner, and A. 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.
7. J. Dolby, A. Fokoue, A. Kalyanpur, A. Kershenbaum, E. Schonberg, K. Srinivas, and L. Ma. Scalable semantic retrieval through summarization and refinement. In AAAI, pages 299-304, 2007.
8. J. Dolby, A. Fokoue, A. Kalyanpur, L. Ma, E. Schonberg, K. Srinivas, and X. Sun. Scalable grounded conjunctive query evaluation over large and expressive knowledge bases. In International Semantic Web Conference, pages 403-418, 2008.
9. R. Fikes, D. Ferrucci, and D. Thurman. Knowledge associates for novel intelligence (kani). In https://analysis.mitre.org/proceedings/Final-Papers- Files/174-Camera-Ready-Paper.pdf, 2005.
10. *. Proc. of 17th Int. Conf. on Automated Deduction, pages 482-496, 2000.
11. C. K. J. Karat and C. Brodie. SPARCLE Policy Management Workbench. http://domino.research.ibm.com/comm/research-projects.nsf/pages/sparcle.index. html.
12. A. Kalyanpur. Debugging and Repair of OWL-DL Ontologies. PhD thesis, University of Maryland, https://drum.umd.edu/dspace/bitstream/1903/3820/ 1/umi-umd-3665.pdf, 2006.
13. A. Kapadia, G. Sampemane, and R. H. Campbell. Know Why Your Access Was Denied: Regulating Feedback for Usable Security. In 11th ACM Conference on Computer and Communication Security (CCS), 2004.
14. D. Koller, A. Y. Levy, and A. Pfeffer. P-classic: A tractable probablistic description logic. In AAAI/IAAI, pages 390-397, 1997.
15. T. Lukasiewicz. Probabilistic description logics for the semantic web. In http://www.kr.tuwien.ac.at/staff/lukasiew/rr0605.pdf, 2007.
16. C. F. M. Y. Becker and A. D. Gordon. Design and Semantics of a Decentralized Authorization Language. In 20th IEEE Computer Security Foundations Symposium (CSFW), 2007.
17. Y. Ma, P. Hitzler, and Z. Lin. Paraconsistent reasoning for expressive and tractable description logics. In Description Logics, 2008.
18. C. McCollum and J. M. 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.
19. A. 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.
20. J. P. Office. HORIZONTAL INTEGRATION: Broader Access Models for Realizing Information Dominance. Special Report JSR-04-13, MITRE Corporation, 2004.
21. D. Roberts, G. Lock, and D. Verma. Holistan: A Futuristic Scenario for International Coalition Operations. In In 4th IntlConference on Knowledge Systems for Coalition Operations (KSCO), 2007.
22. M. Srivatsa, D. Agrawal, and S. Balfe. A metadata calculus for securing information flows. In Proceedings of 26st Army Science Conference (ASC), 2008.
23. 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.
24. U. Straccia. A fuzzy description logic. In AAAI/IAAI, pages 594-599, 1998.
25. U. Straccia. Towards a fuzzy description logic for the semantic web. In ESWC, pages 167-181, 2005.
26. N. Swamy, B. J. Corcoran, and M. Hicks. Fable: A language for enforcing user-defined security policies. In IEEE Symposium on Security and Privacy, 2008.
27. N. Swamy and M. Hicks. Verified enforcement of automaton-based information release policies. In Proceedings of 2008 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), 2008.
28. J. 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.
29. M. Winslett, C. C. Zhang, and P. A. Bonatti. PeerAccess: A Logic for Distributed Authorization. In 12th ACM Conference on Computer and Communication Security (CCS), 2005.