Channel Synthesis for Finite Transducers
暂无分享,去创建一个
[1] Tero Harju,et al. Identities and Transductions , 1994, Results and Trends in Theoretical Computer Science.
[2] Loïc Hélouët,et al. Covert channel detection using Information Theory , 2010, SecCo.
[3] J. Sakarovitch. Eléments de théorie des automates , 2003 .
[4] M. F.,et al. Bibliography , 1985, Experimental Gerontology.
[5] Bernd Finkbeiner,et al. Uniform distributed synthesis , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[6] Orna Kupferman,et al. Synthesizing Distributed Systems , 2001, LICS.
[7] O. Kupermann,et al. Synthesizing distributed systems , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[8] Jorge E. Mezei,et al. On Relations Defined by Generalized Finite Automata , 1965, IBM J. Res. Dev..
[9] Michael A. Arbib,et al. An Introduction to Formal Language Theory , 1988, Texts and Monographs in Computer Science.
[10] Butler W. Lampson,et al. A note on the confinement problem , 1973, CACM.
[11] Eitan M. Gurari,et al. Introduction to the theory of computation , 1989 .
[12] Amir Pnueli,et al. Distributed reactive systems are hard to synthesize , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
[13] Bernd Finkbeiner,et al. Synthesis of Asynchronous Systems , 2006, LOPSTR.
[14] Jacques Sakarovitch,et al. Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers , 2000, LATIN.
[15] Loïc Hélouët,et al. Scenarios and Covert Channels: Another Game , 2005, GDV@CAV.
[16] Jonathan K. Millen. 20 years of covert channel modeling and analysis , 1999, Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).
[17] G. Gonnet,et al. Proceedings of the 4th Latin American Symposium on Theoretical Informatics , 2000 .
[18] Hesham El-Sayed,et al. A novel covert channel based on the IP header record route option , 2007, Int. J. Adv. Media Commun..