| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910458801203321 |
|
|
Autore |
Grünfeld Fred <1949-> |
|
|
Titolo |
The failure to prevent genocide in Rwanda [[electronic resource] ] : the role of bystanders / / Fred Grünfeld, Anke Huijboom |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston, : Martinus Nijhoff, c2007 |
|
|
|
|
|
|
|
ISBN |
|
1-282-60195-4 |
9786612601958 |
90-474-3131-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
International and comparative criminal law series |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Genocide - Prevention |
Humanitarian intervention |
International agencies |
Genocide - Rwanda - History - 20th century |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 279-289) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Early warnings and early action by bystanders -- The tribunal's interpretation and implementation of the genocide convention -- Rwandan history -- Undermining UNAMIR -- The installment of UNAMIR with Belgian participation -- Early warning of atrocities in 1991-1994 -- Early warnings from November to January -- The genocide fax and the prohibition from U.N. headquarters to act -- The negative response of New York and capitals in the west to the deteriorating situation -- Deteriorating security in Rwanda and the negative response from New York from January up until March -- Requests from Dallaire and from Belgium to New York for a stronger and firmer broadened mandate for UNAMIR -- UNAMIR : its mandate and the offending Belgian role -- The start of the genocide -- Evacuation -- Belgian decision to withdraw its troops -- The response of the Security Council -- The role of the Netherlands throughout the genocide -- Apologies from bystanders ten years later. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume is about the failure to prevent genocide in Rwanda in 1994. In particular, the research focuses on why the early warnings of |
|
|
|
|
|
|
|
|
|
|
|
|
|
an emerging genocide were not translated into early preventative action. The warnings were well documented by the most authoritative source, the Canadian U.N. peace-keeping commander General Romeo Dallaire and sent to the leading political civil servants in New York. The communications and the decisionmaking are scrutinized, id est, who received what messages at what time, to whom the messages were forwarded and which (non-) decisions were taken in response to the alarming reports of weapon deliveries and atrocities. This book makes clear that this genocide could have been prevented. Published under the Transnational Publishers imprint. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910481535503321 |
|
|
Autore |
Alciati Andrea <1492-1550.> |
|
|
Titolo |
Andreae Alciati Emblematum libellus, nuper in lucem editus [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Venice, : Paolo Manuzio, 1512-1574, 1546 |
|
|
|
|
|
|
|
Descrizione fisica |
|
Online resource (47, [1] c. : ill., 8°) |
|
|
|
|
|
|
Altri autori (Persone) |
|
ManuzioAldo <1449 or 1450-1515.> |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Biblioteca Nazionale Centrale di Firenze. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910164283503321 |
|
|
Titolo |
Reactor Dosimetry: Radiation Metrology and Assessment |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : American Society for Testing & Materials, 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxvii, 858 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
ASTM special technical publication ; ; 1398 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Nuclear reactors - Materials - Effect of radiation on |
Radiation dosimetry |
Nuclear power plants - Safety measures |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Why Do We Need Dosimetry? / R Gérard, SM Zaritsky -- ASTM Standards for Reactor Dosimetry and Pressure Vessel Surveillance / PJ Griffin -- Developments in Reactor Dosimetry in Japan / I Kimura -- French PWR Vessel Surveillance Program Dosimetry: Experience Feedback from More than a Hundred Capsules / D Beretz, C Brillaud, C Destouches, S Saillet -- Reactor Pressure Vessel Neutron Dosimetry Assessments for UK PWR Plant / DA Thornton, TA Lewis, JR Mossop, CJ Page, SA Haddock -- Assessment of Neutron Fluence Uncertainty and its Impact on Safety Issues / EP Lippincott -- Review of Problems and Requirements in VVER Reactor-Type Pressure Vessel Dosimetry / SM Zaritsky, PA Platonov, YA Nikolaev, B Ošmera, V Valenta -- Overview of the Surveillance Dosimetry Activities in Ukraine / VN Bukanov, VL Dyemokhin, VI Gavriljuk, OV Grytsenko, OV Nedyelin, EG Vasylyeva -- Improved Evaluation of the Atucha-I Ex-Vessel Dosimetry / AF Albornoz, H Blaumann, EM Lopasso, A Blanco, G Gennuso, O Serra -- Reactor Dosimetry in the Surveillance Program of Kozloduy NPP Reactor Pressure Vessels / KD Ilieva, SI Belousov, TG Apostolov, M Monev -- Evaluation of the Reactor Dosimetry Results Obtained During the First Ten Years of the RPV Surveillance Program at the NPP Paks / ÉM Zsolnay, EJ Szondi, F Oszvald -- Neutron Dosimetry for VVER Reactor Pressure Vessels in the Czech Republic / M Brumovsky, O Erben, J Hogel, B Osmera -- Analysis of Pressure Vessel Surveillance Dosimetry |
|
|
|
|
|
|
|
|
|
Inserted into Korean PWR / C-S Gil, J-D Kim, J Chang -- Integrity Assessment for Aging Reactor Vessel of Japan's First Generation PWR Plants / T Sato, A Kusuki, S Shiota -- Measurement of Neutron Flux Distribution for Decommissioning in Tokai Power Station / M Shirakawa, T Yamamoto, M Nakazawa -- Impact of the ENDF/B-VI Cross Sections on the RPV Fluence Determination / I Remec -- Factors Affecting Predicted Neutron Dose Rates to Steel Pressure Vessels of Magnox Plant / DA Thornton -- The Attenuation of Neutron Dose Rates through the Steel Pressure Vessels of Magnox Power Plants / AL Fletcher, JR Mossop, CJ Page -- Assessment of Activation of Concrete Wall for Decommissioning of Nuclear Power Plants / T Matsumura, T Hattori, T Kawabe -- Use of SSTRs and a Multi-Component Shield Assembly to Measure Radiation Penetrating the Reactor Biological Shield in the Presence of Radiation Streaming from Other Sources / AH Fero -- Spectral Unfolding of Mixed Proton/Neutron Fluences in the LANSCE Irradiation Environment / MR James, SA Maloy, WF Sommer, PD Ferguson, MM Fowler, GE Mueller, RK Corzine -- Neutron Beam Characterization at the Finnish BNCT Facility - Measurements and Calculations / T Serén, I Auterinen, P Kotiluoto, T Seppälä -- Establishment of Fe-Filtered Neutron Beam Facility and Measurement of the Filtered Neutrons / K Kobayashi, T Yoshimoto, Y Fujita, M Utsuro, H Utsumi -- Design and Characterization of a Facility for Fast Neutron Irradiation of Semiconductors at Penn State / B Petrovic, A Abou-Zaid, A Haghighat, TH Daubenspeck -- Comprehensive Nuclear Fuel Dosimetry Program in the OSIRIS Reactor / A Alberman, C Morin, L Marchand, A Marcault -- Dosimetry of a GeV Proton-Driven Spallation Neutron Field by the Activation Method / Y Kasugai, H Takada, Y Ikeda -- The Irradiation Characteristics of the KUR Heavy Water Facility - Neutron Energy Spectra for Several Irradiation Modes / T Kobayashi, Y Sakurai, K Kobayashi -- Radiation Dosimetry at the BNL High Flux Beam Reactor and Medical Research Reactor / NE Holden, J-P Hu, DD Greenberg, RN Reciniello, K Farrell, LR Greenwood -- Measurement of Neutron Spectrum at HANARO / U Hong, HD Kang, CG Seo, YH Kang -- Combining Measurements and 3D Neutron Transport Calculations - A Powerful Tool in Detailed Neutron Dosimetry and Damage Analysis / WP Voorbraak, WE Freudenreich, DJ Ketema -- Characterization of Neutron Field for Stainless Steel Irradiation Experiments in JMTR / S Shimakawa, Y Nagao, K Fujiki -- Assessment of the Fission Power Level in Fuel Rods Irradiated in the High Flux Materials Testing Reactor BR2 with the Aid of Fluence Dosimetry and Comparison with Other Methods / C De Raedt, E Malambu, S Bodart, M Wéber, M Willekens -- Local Change of a Neutron Spectrum in the Fast Reactor BOR-60 for Extension of Research Tasks / AI Tellin, GA Shimansky, IV Yakovleva -- Improvement of Reactor Dosimetry for Irradiation Tests in the Experimental Fast Reactor JOYO / T Sekine, T Aoyama, A Yoshida, S Suzuki -- Estimation of Low Level Neutron Doses Based on Neutron Spectra in the Vicinity of a Nuclear Reactor / I Urabe, H Sagawa, Y Ogawa, T Ohsawa, K Kobayashi, T Yoshimoto, T Tsujimoto -- Conceptual Neutronics Design of "Neutron Factory" as a Future Plan on Neutron Source in Kyoto University Research Reactor Institute (KURRI) / S Shiroya, H Unesaki, Y Kawase, H Moriyama, M Inoue -- Results from the NIST Round Robin Test of Fissionable Dosimeters in a Reactor Leakage Spectrum / JM Adams -- New NEA Benchmarks for Calculating Fast Neutron Fluence in the Reactor Pressure Vessel / G Hehn, BC Na -- Database for WWER-1000 Reactor Pressure Vessel IAEA Regional Project RER 4/017 / B Ošmera, V Lyssakov, F Cvachovec, F Hudec, B Janský, J Mikuš, E Novák, S Pošta, Z Turzík, M Hort, V Krysl, V Smutný, S Zaritsky, N Alekseev, M Gurevitch, A Egorov, E Brodkin, K Ilieva, S Belousov, J Kovbasensko, A Uritani, T |
|
|
|
|
|
|
|
Misawa, C Mori -- Balakovo-3 Ex-vessel Exercise: Intercomparison of Results / GI Borodkin, OM Kovalevich, H-U Barz, B Böhmer, I Stephan, H Ait Abderrahim, WP Voorbraak, J Hogel, E Polke, W Schweighofer, TO Seren, AV Borodin, VI Vikhrov, VV Lichadeev, NV Markina, EI Grigoriev, VS Troshin, I Penev, L Kinova -- Re-analysis of the Experimental Leakage Neutron Spectrum from a Silicon Spherical Shell with Incident 14 MeV Neutrons using Different and Modified Neutron Cross Section Libraries / C Ichihara, SA Hayashi, I Kimura, J Yamamoto, A Takahashi -- Monte Carlo Calculations of Neutron Fluence Spectra, Activation Measurements, Uncertainty Analysis and Spectrum Adjustment for the KORPUS Dosimetry Benchmark / HU Barz, B Boehmer, J Konheiser, I Stephan -- Actual and Potential Measurements of Fission-Rate Ratios in the NIST Iron Sphere / RL Perel, JJ Wagschal, Y Yeivin -- Adjustment of the U Fission Spectrum / PJ Griffin, JG Williams -- Analysis of the ORNL PCA Benchmark Using TORT and BUGLE-96 / AH Fero, SL Anderson, GK Roberts -- Development of Calibration Fields of Intermediate Neutrons by Using Several Sources / N Takeda, K Kudo, M Fujishiro, K Okamoto, K Kobayashi, T Yoshimoto -- A Study on 14 MeV Neutron Beam Characteristics and its Applications / H Sakane, Y Uno, F Maekawa, Y Kasugai, C Konno, J Kaneko, Y Ikeda -- Integral Assessment of the Revised JENDL Dosimetry File / K Kobayashi, T Iguchi, S Iwasaki, T Aoyama, S Shimakawa, Y Ikeda, N Odano, K Sakurai, K Shibata, T Nakagawa, M Nakazawa -- High Energy Neutron Activation Cross Sections / T Nakamura, E Kim, Y Uwamino, N Nakao, S Tanaka -- SPALLDOS: New Neutron Metrology Cross-Section Library for Use at Spallation Neutron Sources / EJ Szondi, ÉM Zsolnay, F Hegedüs, L Tobler -- Integral Testing of Spallation Cross Sections for Neutron Dosimetry at 113 and 256 MeV / LR Greenwood -- Production of a Dosimetry Cross Section Set Up to 50 MeV / F Maekawa, U von Möllendorff, PPH Wilson, M Wada, Y Ikeda -- Neutron and Non-Neutron Nuclear Data for Radiation Dosimetry / NE Holden -- New Measurements of the H(n,n)H Angular Distribution / FB Bateman, N Boukharouba, CE Brient, AD Carlson, SM Grimes, RC Haight, TN Massey, OA Wasson -- Fission Cross Section Measurements of Th-229 and Pa-231 Using Linac-Driven Lead Slowing-Down Spectrometer / K Kobayashi, S Yamamoto, T Kai, HJ Cho, H Yamana, Y Fujita, T Mitsugashira, I Kimura -- Measurement of Differential Neutron-Induced Charged-Particle Emission Cross Sections for 5 - 75 MeV Neutrons / M Baba, T Sanami, Y Nauchi, Y Hirasawa, N Hirakawa, H Nakashima, S Meigo, S Tanaka -- Fast Neutron Yields Generated from Deuteron Break-up in Low Energy Reactions of Light Nuclei / P Bém, V Burjan, F Cvachovec, M Götz, V Kroha, EY Nikolskii, E Šimecková, J Štursa, J Vincour -- Measurement of the Neutron Capture Cross-Sections for Dy and Hf between 0.001 eV and 50 keV Using Total Energy Absorption Detector / HJ Cho, K Kobayashi, S Yamamoto, Y Fujita, GN Kim, JH Chang, SK Ko -- Modeling of BWR for Neutron and Gamma Fields Using PENTRAN™ / V. |
Kucukboyaci, A Haghighat, GE Sjoden, B Petrovic -- Activity Determination with High Precision for Component Disposal / E Polke -- PV-Surveillance Dosimetry and Adjustment: Review of Several Significant Oral Laws / RL Perel, JJ Wagschal, Y Yeivin -- Physically Constrained Adjustment of Calculated Neutron Spectra for Dosimetry and Vessel Locations / JG Williams, PJ Griffin -- Algorithm and Computer Code of Group Neutron Spectra Transformation / GA Shimansky, AI Tellin, MI Gurevich -- Improved Covariance Analysis and Spectrum Adjustment for VVER-1000 Pressure Vessel Fluences / B Boehmer, GI Borodkin, GN Manturov -- A Parametrized Approach for Unfolding the Neutron Flux Spectrum / Y-Q Wang, K Kobayashi, Z-H Li, |
|
|
|
|
|
|
|
I Kimura -- Accuracy and Parallel Performance of PENTRAN™ Using the VENUS-3 Benchmark Experiment / A Haghighat, HA Abderrahim, GE Sjoden -- Three Dimensional Neutron Analysis in the Baffle-Former Area of PWR Plant / H Kitagawa, N Yamagiwa, K Yamashita -- MCBEND - A Fluence Modeling Tool / GA Wright, E Shuttleworth, P Cowan, IJ Curl, CG Mattsson -- Performance of A MCNP™ for Calculation of 3-D Neutron Flux Distribution in a BWR Core Shroud / A Haghighat, H Hiruta, B Petrovic -- Development of 3D MCNP-Based BWR Fluence Computational Software Package: MF3D / R-T Chiang, S Sitaraman -- BWR Neutron Fluence Computations using MF3D / S Sitaraman, R-T Chiang, RM Kruger, AL Jenkins, K Asano, K Koyabu -- Development of Induced Activity Estimation Method for PWR Containment / M Nakata, T Muramatsu -- Comparative Analysis of DPA Processed from Current Evaluated Nuclear Data Libraries / J Chang, C-S Gil, YS Cho, J-D Kim -- JENDL PKA/KERMA File for IFMIF Project / T Fukahori, S Chiba, K Shibata, Y Ikeda, T Aruga, Y Watanabe, T Murata, N Yamano, M Kawai -- A Study of Displacement Cross Section in Medium-Energy Region / K Iga, H Takada, Y Ikeda -- Radiation Hardening in BWR Core Shrouds: Relative Roles of Neutron and Gamma Irradiation / J Kwon, AT Motta -- Correlating Radiation Exposure with Embrittlement: Comparative Studies of Electron- and Neutron-Irradiated Pressure Vessel Alloys / DE Alexander, BJ Kestel, LE Rehn, GR Odette, GE Lucas, D Klingensmith, D Gragg, S Seifert, PR Jemian -- The PKA Energy Spectrum Analysis of Defect Structures in Neutron Irradiated Metals / T Yoshiie, X Xu, Q Xu, S Yanagita, Y Satoh -- A Comparison of the NRT Displacement Model and Primary Damage Formation Observed in Molecular Dynamics Cascade Simulations / RE Stoller, LR Greenwood -- Fusion Neutron Irradiation Effects on Some Electronic Devices / T Iida, Y Tanimura, F Sato, T Tanaka -- Projects AMES Dosimetry and MADAM. Results and Future Activities / A Ballesteros, L Debarberis -- U.S. NRC Embrittlement Data Base (EDB) / JA Wang, JV Pace, TM Rosseel -- Measurement of Eigenvalue Separation in Coupled-Core Systems using Optical Fiber with Scintillator / H Unesaki, S Shiroya, K Hashimoto, T Horiguchi, T Takeda, T Yamamoto, T Kitada, O Aizawa, J Yamamoto -- Selective and Prompt Self-Powered Neutron Detectors for Characterization of Mixed Radiation Fields in Reactors / C Blandin, S Breaud -- Neutron and Gamma Ray Dosimetry in Spent-Fuel Radiation Environments Using Silicon Carbide Semiconductor Radiation Detectors / AR Dulloo, FH Ruddy, JG Seidel, T Flinchbaugh, C Davison, T Daubenspeck -- Retrospective Fast Neutron Dosimetry of Nuclear Power Plants by Means of Scraping Samples Using the Nb(n,n') Nb Reaction / J van Aarle, I Guenther, F Hegedues, F Gabler -- A Novel Neutron Spectrometer with Response of Wide Energy Range / A Uritani, Y Makihara, S Yamaguchi, J Kawarabayashi, T Iguchi, C Mori, H Toyokawa, N Takeda, K Kudo, O Sato, S Iwai -- Characterization and Representation of the HPGE Detector Efficiency / MH Sparks, PJ Griffin, TM Flanders, WW Sallee, DW Vehar -- Accreditation and Certification in Radioactivity Measurement: Experience of the CEA/Reactor Dosimetry Laboratory / JC Royer, D Beretz -- A Laser Compton-Scattered Photon Source for Potential Calibration of Gamma-Ray Detectors in the Energy Range from 2 to 22 MeV / K Kudo, N Takeda, H Ohgaki, H Toyokawa -- Stilbene Neutron Spectrometer with Spreading of a One Parameter Pulse Shape Discrimination Dynamic Range / F Cvachovec, B Osmera -- Use of Reaction Nb(n, n') Nb to Determine Neutron Spectra at Outer PV Surface of WWER-1000 Reactor / OO Gritzay, PM Rusinko, OG Vasylyeva -- Experimental Method of Neutron Spectra Determination with Activation Foils / F Colomb, H Carcreff, C Morin -- Qualifying C8/F9 Spectrum Index Measurements by Using Standard Neutron Fields / K van der |
|
|
|
|
|
|
|
|
Meer, P D'hondt, R Vandebroek -- Metal Discs as Very Low Thermal Neutron Flux Monitors in Reactor Environment / MJ Martínez Canet, M Hult, M Köhler, H Aït Abderrahim, D Marloye -- Development of a Neutron and Gamma-Ray Flux Distribution Measurement System with Scintillator and Optical Fiber Combination / C Mori, A Uritani, T Iguchi, S Hayashi, H Kobayashi, Y Takami, I Kimura, M Katagiri, T Kakuta -- Real-Time Dosimetry Method Using an Imaging Plate / K Sakasai, M Katagiri, M Kishimoto, Y Fujii -- Application of Accumulative Type ESR-Sensors for Determination of Intensity, Spectral Characteristics and Volume Distribution of Intense Gamma and Neutron Fields / AF Usatyi, VB Kajnov, LA Serdyukova, AZ Khamidov -- Neutron Dosimetry Using Diallyl Phthalate Resin / T Tsuruta -- Development of In-Core Monitoring System using Optical Fiber for Advanced Fission Reactor / T Kakuta, M Ishihara, T Shikama, M Narui, T Sagawa, T Arai, K Hayashi -- Development and Modeling of Neutron Detectors for In-Core Measurement Requirements in Nuclear Reactors / C Blandin, G Bignan, A Lebrun, O Poujade, H Recroix, S Eymery, J-P Trapp, S Breaud -- Reduction of Inter-Event Dead Time in Data Acquisition System for Simultaneous Measurement of Neutron Pulse Series in Time and Space / Y Kitamura, T Misawa, H Unesaki, S Shiroya, K Ishitani, A Uritani, Y Yamane -- A System Design for Measuring Boron Concentration in Pressurized Light Water Reactor Cooling Water / K Oda, T Kojima, K Nakagawa, T Yamauchi, S Ohashi -- Appendices -- Author Index -- Subject Index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910797026503321 |
|
|
Autore |
Chin Shiu-Kai |
|
|
Titolo |
Access control, security, and trust : a logical approach / / by Shiu-Kai Chin and Susan Beth Older |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-4398-9155-9 |
0-429-18443-3 |
1-4398-9463-9 |
|
|
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (348 p.) |
|
|
|
|
|
|
Collana |
|
Chapman & Hall/CRC Cryptography and Network Security |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers - Access control |
System design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front cover; Contents; List of Tables; List of Figures; Preface; Chapter 1. Access Control, Security, Trust, and Logic; Part I: Preliminaries; Chapter 2. A Language for Access Control; Chapter 3. Reasoning about Access Control; Chapter 4. Basic Concepts; Chapter 5. Security Policies; Part II: Distributed Access Control; Chapter 6. Digital Authentication; Chapter 7. Delegation; Chapter 8. Networks: Case Studies; Part III: Isolation and Sharing; Chapter 9. A Primer on Computer Hardware; Chapter 10. Virtual Machines and Memory Protection |
Chapter 11. Access Control Using Descriptors and CapabilitiesChapter 12. Access Control Using Lists and Rings; Part IV: Access Policies; Chapter 13. Confidentiality and Integrity Policies; Chapter 14. Role-Based Access Control; Appendix A; Summary of the Access-Control Logic; Bibliography; Notation Index; Back cover |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Developed from the authors’ courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic. |
|
|
|
|
|
|
|
| |