Decidable bisimulation technique in the SPI-Calculus for cryptographic protocols / (Record no. 383070)

MARC details
000 -LEADER
fixed length control field 01252nam a2200313 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250930122436.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070206s2005 my a m 000 0 eng
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 200709170954
Level of effort used to assign nonsubject heading access points jamain
y 02-06-2007
z norehan
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.9.A25A478 2005 3 tesis
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.9.A25
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) A478 2005
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Al-Refai, Hasan Moh'd Hasan
245 10 - TITLE STATEMENT
Title Decidable bisimulation technique in the SPI-Calculus for cryptographic protocols /
Statement of responsibility, etc. Hasan Moh'd Hasan Al-Refai
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Bangi :
Name of publisher, distributor, etc. Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia,
Date of publication, distribution, etc. 2005
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 220 p. :
Other physical details ill. ;
Dimensions 30 cm.
502 ## - DISSERTATION NOTE
Dissertation note Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2005
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Rerefences : p. [191]-198
610 20 - SUBJECT ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Universiti Kebangsaan Malaysia
General subdivision Dissertations
9 (RLIN) 62865
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Dissertations, Academic
Geographic subdivision Malaysia
9 (RLIN) 62866
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Cryptography
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer security
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Telecommunication systems
General subdivision Security measures
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b13856674
b 2021-05-28
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type TERHAD
Suppress in OPAC No
Call number prefix QA76.9.A25A478 2005 3 tesis
914 ## - VTLS Number
VTLS Number vtls003341189
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields jm/nmk
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fakulti Teknologi dan Sains Maklumat
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library
Operator's initials, OID (RLIN) 2007-06-02
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Printed Books
Language English
Country
-- 0
-- .b13856674
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        ZZ ZZ DEFAULT LOCATION 12/11/2019 - 0.00 .i18305374   QA76.9.A25A478 2005 3 tesis 00001343866 14/09/2025 1 14/09/2025 TERHAD

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library