Ladon: End-to-end authorisation support for resource-deprived environments

IET Information Security

Volumn 6, Issue 2, 2012, Pages 93-101

  Astorga, J ^a   Jacob, E ^a   Huarte, M ^a   Higuero, M ^a  

^a UNIVERSITY OF THE BASQUE COUNTRY UPV EHU   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SERVERS; COMMUNICATION OVERHEADS; FORMAL VALIDATION; KERBEROS; KEY DISTRIBUTION; PAIR-WISE KEYS; PERFORMANCE ANALYSIS; SECURITY ANALYSIS; SECURITY GOALS; SECURITY PROTOCOLS;

CLOCKS; NETWORK SECURITY;

INTERNET PROTOCOLS;

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

References (20)

1. Abadi, D.J., Lindner, W., Madden, S., and Schuler, J.: ' An integration framework for sensor networks and data stream management systems ', Proc. 13th Int. Conf. Very Large Data Bases, Toronto, Canada, August, 2004, p. 1361-1364
2. IPv6 over Low power WPAN (6lowpan) Working Group, http://datatracker. ietf.org/wg/6lowpan/charter/, accessed September 2011
3. Montenegro, G., Kushalnagar, N., Hui, J., and Culler, D.: ' Transmission of IPv6 packets over IEEE 802.15.4 networks ', RFC 4944, 2007
4. Neuman, C., Hartman, S., and Raeburn, K.: ' The Kerberos network authentication service (v5) ', RFC 4120, 2005
5. Zhu, S., Setia, S., and Jajodia, S.: ' LEAP: efficient security mechanisms for large-scale distributed sensor networks ', Proc. Tenth ACM Conf. Computer and Communications Security (CCS' 03), Washington D.C., USA, October, 2003, p. 62-72 (Pubitemid 40673789)
6. Perrig, A., Szewczyk, R., Tygar, J.D., Wen, V., and Culler, D.E.: ' SPINS: security protocols for sensor networks ', ACM Wirel. Netw., 2002, 8, (5), p. 521-534 10.1023/A:1016598314198
7. Karlof, C., Sastry, N., and Wagner, D.: ' TinySec: a link layer security architecture for wireless sensor networks ', Proc. Second Int. Conf. Embedded Networked Sensor Systems (SenSys 2004), Baltimore, MD, USA, November, 2004, p. 162-175 (Pubitemid 41563357)
8. Kehne, A., Schönwälder, J., and Langendörfer, H.: ' A nonce-based protocol for multiple authentications ', ACM SIGOPS Oper. Syst. Rev., 1992, 26, (4), p. 84-89 10.1145/142854.142872
9. Neuman, B.C., and Stubblebine, S.G.: ' A note on the use of timestamps as nonces ', Oper. Syst. Rev., 1993, 27, (2), p. 10-14 10.1145/155848.155852 0163-5980
10. Kaijser, P., Parker, T., and Pinkas, D.: ' SESAME: the solution to security for open distributed systems ', Comput. Commun., 1994, 17, (7), p. 501-518 10.1016/0140-3664(94)90105-8
11. Wettstein, G.H., Grosen, J., and Rodriguez, E.: ' IDfusion, an open-architecture for Kerberos based authorization ', Proc. AFS and Kerberos Best Practices Workshop, Michigan, USA, June, 2006
12. Neuman, C.: ' Proxy-based authorization and accounting for distributed systems ', Proc. 13th Int. Conf. Distributed Computing Systems, Pittsburgh, USA, May, 1993, p. 283-291
13. Walla, M.: ' Kerberos explained ', 2000, Windows 2000 Advantage Magazine
14. IEEE 802.15.4 Standard: 'Wireless medium access (MAC) and physical layer (PHY) specifications for low-rate wireless personal area networks (WPANs)', 2006
15. Shnayder, V., Hempstead, M., Chen, B.-r., Allen, G.W., and Welsh, M.: ' Simulating the power consumption of large-scale sensor network applications ', Proc. Second Int. Conf. Embedded Networked Sensor Systems, (SenSys 2004), Baltimore, MD, USA, November, 2004, p. 188-200 (Pubitemid 41563359)
16. Ferriarolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D., and Chandramouli, R.: ' Proposed NIST standard for role-based access control ', ACM Trans. Inf. Syst. Secur., 2001, 4, (3), p. 224-274 10.1145/501978.501980 1094-9224
17. Wang, L., Wijesekera, D., and Jajodia, S.: ' A logic-based framework for attribute based access control ', Proc. ACM Workshop on Formal Methods in Security Engineering (FMSE'04), Washington DC., USA, October, 2004, p. 45-55 (Pubitemid 40821073)
18. Viganò, L.: ' Automated security protocol analysis with the AVISPA tool ', Electron. Notes Theor. Comput. Sci., 2006, 155, p. 61-86 10.1016/j.entcs.2005.11.052 1571-0661
19. AVISPA: Automated Validation of Internet Security Protocols and Applications. FET Open Project IST-2001-39252, http://www.avispa-project.org, accessed September 2011
20. AVISPA Project IST-2001-39252, 'Deliverable 2.1: the high-level protocol specification language', August 2003