|
|
|
|
| LEADER |
00000nab a2200000 a 4500 |
| 001 |
vtls008941126 |
| 003 |
SK-MaSNL |
| 005 |
20260304215839.0 |
| 008 |
250505c2006 xo |||||||||||000 b|slo |
| 015 |
|
|
|a SNBRB2007/01
|2 snkbucl
|
| 035 |
|
|
|a (uuid)96bd795f-211f-4907-b1ac-80047ce2c05b
|
| 035 |
|
|
|a urn:nbn:sk:snk-abz9z
|
| 035 |
|
|
|a (urnnbn)urn:nbn:sk:snk:ar-a048n1
|
| 038 |
|
|
|a SNKBUCL
|
| 040 |
|
|
|a SNKBUCL
|b slo
|c SNKBUCL
|e AACR2
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a xo
|c SK
|
| 080 |
|
|
|a 004.056.052.42
|2 2001
|
| 080 |
|
|
|a 004.052.42
|2 2001
|
| 080 |
|
|
|a 004.414.23
|2 2001
|
| 245 |
0 |
0 |
|a Formal verification of security model using SPR tool
|c Il-Gon Kim ... [et al.]
|
| 300 |
|
|
|b Fotogr., sch., tab.
|
| 500 |
|
|
|a Biogr. údaje
|
| 504 |
|
|
|a Bibliogr. odkazy
|
| 546 |
|
|
|a Res. angl.
|
| 650 |
0 |
7 |
|a informačná bezpečnosť
|2 snkbucl
|9 72884
|
| 650 |
0 |
7 |
|a modelovanie
|2 snkbucl
|9 15732
|
| 650 |
0 |
7 |
|a formálna verifikácia
|2 snkbucl
|9 488891
|
| 700 |
1 |
|
|a Kim, Il-Gon
|4 aut
|9 1455244
|
| 700 |
1 |
|
|a Kang, Miyoung
|4 aut
|9 1550961
|
| 700 |
1 |
|
|a Choi, Jin-Young
|4 aut
|9 1455246
|
| 700 |
1 |
|
|a Zegzhda, Peter, D.
|4 aut
|9 1550962
|
| 700 |
1 |
|
|a Kalinin, Maksim O.
|4 aut
|9 1550963
|
| 700 |
1 |
|
|a Zegzhda, Dmitrij P.
|4 aut
|9 1550964
|
| 700 |
1 |
|
|a Kang, Inhye
|4 aut
|9 1550965
|
| 773 |
0 |
|
|t Computing and informatics
|g Vol. 25, no. 5 (2006), p. 353-368
|x 1335-9150
|
| 850 |
|
|
|a Slovenská národná knižnica
|
| 852 |
|
|
|a Slovenská národná knižnica
|
| 958 |
|
|
|a article27
|
| 958 |
|
|
|a NB
|
| 958 |
|
|
|a OND
|
| 958 |
|
|
|a EUIPO
|
| 999 |
|
|
|c 3148507
|d 3150437
|
