Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation
作者： Sebastian Gutierrez-Nolasco , Nalini Venkatasubramanian , Mark-oliver Stehr , Carolyn Talcott
DOI: 10.1109/PRDC.2006.62
关键词:
摘要: We extend an executable specification of a state-of-the-art secure group communication subsystem to explore two dimensions adaptability, namely security and synchrony under crash-recovery intermittent connectivity scenarios. In particular, we relax the traditional requirement virtual propose various generic optimizations, while preserving essential guarantees. order evaluate how practical effective our optimizations are, integrate into ns2, bridging gap between formal classical network simulation
sci-hub.se 参考文章(13)
John Lane Schultz, Partitionable Virtual Synchrony Using Extended Virtual Synchrony ,(2001)
Yair Amir, The Spread Wide Area Group Communication System ,(2007)
Patrick McDaniel, Atul Prakash, Peter Honeyman, Antigone: a flexible framework for secure group communication usenix security symposium. pp. 9- 9 ,(1999)
Yongdae Kim, Adrian Perrig, Gene Tsudik, Communication-efficient group key agreement information security. pp. 229- 244 ,(2001) , 10.1007/0-306-46998-7_16
José Meseguer, Conditional rewriting logic as a unified model of concurrency Theoretical Computer Science. ,vol. 96, pp. 73- 155 ,(1992) , 10.1016/0304-3975(92)90182-F
Michael K. Reiter, Secure agreement protocols: reliable and atomic group multicast in rampart computer and communications security. pp. 68- 80 ,(1994) , 10.1145/191177.191194
Yongdae Kim, Adrian Perrig, Gene Tsudik, Simple and fault-tolerant key agreement for dynamic collaborative groups computer and communications security. pp. 235- 244 ,(2000) , 10.1145/352600.352638
Y. Amir, C. Nita-Rotaru, J. Stanton, G. Tsudik, Secure spread: an integrated architecture for secure group communication IEEE Transactions on Dependable and Secure Computing. ,vol. 2, pp. 248- 261 ,(2005) , 10.1109/TDSC.2005.39
M. Steiner, G. Tsudik, M. Waidner, Key agreement in dynamic peer groups IEEE Transactions on Parallel and Distributed Systems. ,vol. 11, pp. 769- 780 ,(2000) , 10.1109/71.877936
K.P. Kihlstrom, L.E. Moser, P.M. Melliar-Smith, The SecureRing protocols for securing group communication Proceedings of the Thirty-First Hawaii International Conference on System Sciences. ,vol. 3, pp. 317- 326 ,(1998) , 10.1109/HICSS.1998.656294