A framework for establishing decentralized secure coalitions

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 270-282

  Zhou, Hongbin ^a   Foley, Simon N ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; ELECTRONIC DATA INTERCHANGE; FORMAL LOGIC; MERGING; OPEN SYSTEMS;

LOGIC BASED LANGUAGE; SECURITY POLICY;

SECURITY OF DATA;

EID: 33947650147     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.5     Document Type: Conference Paper

References (20)

1. M. Abadi. On sdsi's linked local name spaces. In Proceedings of the 10th Computer Security Foundations Workshop (CSFW '97), page 98, Washington, DC, USA, 1997. IEEE Computer Society.
2. T. Aura and S. Mäki. Towards a survivable security architecture for ad-hoc networks. In Proc. Security Protocols, 9th International Workshop, volume 2467 of LNCS, pages 63-79, Cambridge, UK, Apr. 2001. Springer.
3. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. D. Keromytis. The keynote trust-management system, version 2, September 1999.
4. M. Blaze, J. Ioannidis, S. Ioannidis, A. Keromytis, P. Nikander, and V. Prevelakis. Tapi: Transactions for accessing public infrastructure. In Proceedings of the 8th IFIP Personal Wireless Communications (PWC) Conference, 2003.
5. M. Blaze, J. Ioannidis, and A. D. Keromytis. Offline micro-payments without trusted hardware. In Financial Cryptography, Grand Cayman, February 2001.
6. J. DeTreville. Binder, a logic-based security language. In Proceedings of the 2002 IEEE Symposium on Research in Security and Privacy, pages 105-113. IEEE Computer Society Press, 2002.
7. C. Ellison, B. Frantz, B. Lampson, R. L. Rivest, B. Thomas, and T. Ylonen. Spki certificate theory, September 1999.
8. S. Foley. A non-functional approach to system integrity. IEEE Journal on Selected Areas in Communications, 21(1), Jan 2003.
9. S. Foley. Using trust management to support transferable hash-based micropayments. In Proceedings of the 7th International Financial Cryptography Conference, Gosier, Guadeloupe, FWI, January 2003.
10. S. Foley. Believing in the integrity of a system. In IJCAR Workshop on Automated Reasoning for Security Protocol Analysis. Springer Verlag Electronic Notes in Computer Science, 2004.
11. S. N. Foley and H. Zhou. Authorisation subterfuge by delegation in decentralised networks. In International Security Protocols Workshop, Cambridge, UK, April 2005.
12. I. Foster, C. Kesselman, and G. Tsudik. A security architecture for computational grids. In Proceedings of ACM Conference on Computers And Security, pages 83-91. ACM Press, Oct. 1998.
13. L. Gong. Enclaves: Enabling secure collaboration over the internet. IEEE Journal on Selected Areas in Communications, 15(3):567-575, 1997.
14. R. Housley, W. Polk, W. Ford, and D. Solo. Internet x.509 public key infrastructure certificate and certificate revocation list (crl) profile, April 2002.
15. Internet Assigned Numbers Authority. Internet corporation for assigned names and numbers, May 1999.
16. N. Li and J. C. Mitchell. RT: A role-based trust-management framework. In The Third DARPA Information Survivability Conference and Exposition (DISCEX III), pages 201-212, Washington, D.C., April 2003. IEEE Computer Society Press, Los Alamitos, California.
17. N. Li, W. H. Winsborough, and J. C. Mitchell. Delegation logic: A logic-based approach to distributed authorization. ACM Transactions on Information and System Security (TISSEC), 6(1):128-171, February 2003.
18. N. H. Minsky and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology, 9(3):273-305, 2000.
19. L. Pearlman, C. Kesselman, V. Welch, 1. Foster, and S. Tuecke. The community authorization service: Status and future. In CHEP03, La Jolla, California, March 2003.
20. H. Zhou and S. N. Foley. A logic for analysing subterfuge in delegation chains. In Workshop on Formal Aspects in Security and Trust (FAST2005), Newcastle upon Tyne, UK, July 2005.