LEADER 01798oam 2200397zu 450 001 996206163303316 005 20210807003532.0 024 7 $a10.1109/CSFW.1993 035 $a(CKB)111026746737424 035 $a(SSID)ssj0000558109 035 $a(PQKBManifestationID)12197954 035 $a(PQKBTitleCode)TC0000558109 035 $a(PQKBWorkID)10559099 035 $a(PQKB)10792273 035 $a(NjHacI)99111026746737424 035 $a(EXLCZ)99111026746737424 100 $a20160829d1993 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aComputer Security Foundations Workshop VI 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1993 215 $a1 online resource (224 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8186-3950-4 330 $aThe purpose of the annual Computer Security Foundations Workshop is to bring together researchers to explore fundamental issues in computer security. The emphasis is on formal models that provide a framework for theories of security, and techniques for verifying security as defined by these theories. This volume contains papers presented at the June 1993 Workshop held in Franconia, New Hampshire, as well as position papers for the panels. Topics include covert channel analysis, information flow, integrity and aggregation, access control, and crypto protocol analysis. No index. Annotation copyright by Book News, Inc., Portland, OR. 606 $aComputer security$xCongresses 615 0$aComputer security$xCongresses. 676 $a005.8 801 0$bPQKB 906 $aBOOK 912 $a996206163303316 996 $aComputer Security Foundations Workshop VI$92507912 997 $aUNISA LEADER 01226nam0 22003011i 450 001 UON00052351 005 20231205102231.593 010 $a00-438-0031-9 100 $a20020107d1989 |0itac50 ba 101 $aeng 102 $aAU 105 $a||||p ||||| 200 1 $a18th century Japan$eCulture and society$fedited by C. Andrew Gerstle 210 $aSydney$cAllen & Unwin$d1989 215 $axvii, 163 p.$d22 cm 606 $aGiappone$xStoria$xPeriodo Tokugawa o Edo (1603-1867)$3UONC002353$2FI 606 $aGiappone$xUsi e costumi$3UONC000180$2FI 606 $aSociologia$xGiappone$xPeriodo Tokugawa o Edo (1603-1867)$3UONC000156$2FI 620 $aAU$dSidney$3UONL000697 686 $aGIA IV A$cGIAPPONE - STORIA ANTICA - FINO AL PERIODO TOKUGAWA o EDO (1603-1867)$2A 702 1$aGERSTLE$bC. Andrew$3UONV003927 712 $aUnwin Books$3UONV247170$4650 801 $aIT$bSOL$c20250905$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00052351 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GIA IV A 307 N $eSI SA 94851 5 307 N 996 $a18th century Japan$91145606 997 $aUNIOR