On the role of formal methods in security.

Autor:	Rao, Josyula R.
Zdroj:	Information Processing Letters. 2/28/2001, Vol. 77 Issue 2-4, p209. 4p. 1 Chart, 1 Graph.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect