MARC 닫기
00560nam ac200205 k 4500
000003585803
20220101120000
ta
010731s1992 US 000 eng
▼a 211070
▼c 211070
▼l WM0003028733
▼v 648
▼a QA75.5
▼a QA75.5
▼b L4
▼c 648
▼a COMPUTER SECURITY ESORIS 92/
▼d DESWARTE,Y;
▼e EIZENBERG,G;
▼e QUISQUATER,J
▼a BERLIN:
▼b SPRINGER-VERLAG,
▼c 1992.
▼a 450p.
▼a LECTURE NOTES IN COMPUTER SCIENCE 648
▼a DESWARTE,Y
▼a EIZENBERG,G
▼a QUISQUATER,J
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | QA75.5 |
| 서명/저자사항 : | COMPUTER SECURITY ESORIS 92/ DESWARTE,Y; EIZENBERG,G; QUISQUATER,J |
| 발행사항 : | BERLIN: SPRINGER-VERLAG, 1992. |
| 형태사항 : | 450p. |
| 총서사항 : | LECTURE NOTES IN COMPUTER SCIENCE 648 |
| 개인저자 : | DESWARTE,Y |
| 개인저자 : | EIZENBERG,G |
| 개인저자 : | QUISQUATER,J |
| 언어 | 영어 |
WMO199928433
권 호 : 450
발행년 : 1992
서 명 : COMPUTER SECURITY ESORIS 92
발행처 : DESWARTE,Y
목차
1. TOWARDS SECURITY IN AN OPEN SYSTEMS FEDERATION
2. TYPE-LEVEL ACCESS CONTROLS FOR DISTRIBUTED STRUCTRUALLY OBJECT
3. ORIENTED DATABASE SYSTEMS
4. ON THE CHINESE WALL MODEL
5. FORMAL METHODS AND AUTOMATED TOOL FOR TIMING-CHANNEL IDENTIFICATION IN
6. TCB SOURCE CODE
7. SPEARATING THE SPECIFICATION AND IMPLEMENTATION PHASES IN CRYPTOLOGY
8. FORMAL SPECIFICATION OF SECURITY REQUIREMENTS USING THE THEORY OF
9. NORMATIVE POSITIONS
10. BREAKING THE TRADITIONAL COMPUTER SECURITY BARRIERS
11. VERIFICTION AND MODELLING OF AUTHENTICATION PROTOCOLS
12. KKRYPTOKNIGHT AUTHENTICATION AND KEY DISTRIBUTION SYSTEM
13. ASSOCIATING METRICS TO CERTIFICATION PATHS
14. AN OBJECT-ORIENTED VIEW OF FRAGMENTED DATA PROCESSING FOR FAULT AND
15. INTRUSION TOLERANCE IN DISTIBUTED SYSTEMS
16. THE DEVELOPMENT AND TESTING OF THE IDENTITY-BASED CONFERENCE KEY...
서평쓰기