Penspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem - Nursyahidah Alias (Bangi, Selangor: Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia, 2010)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007
Rujukan : p. [153]-164
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Dissertations, Academic -- Malaysia; Computer network protocols -- Specifications; Automatic theorem proving