LEADER 03030oam 2200601 450 001 996465947503316 005 20210611093805.0 010 $a3-540-75227-7 024 7 $a10.1007/978-3-540-75227-1 035 $a(CKB)1000000000490574 035 $a(SSID)ssj0000317693 035 $a(PQKBManifestationID)11248911 035 $a(PQKBTitleCode)TC0000317693 035 $a(PQKBWorkID)10293130 035 $a(PQKB)10745003 035 $a(DE-He213)978-3-540-75227-1 035 $a(MiAaPQ)EBC3063426 035 $a(MiAaPQ)EBC6451364 035 $a(PPN)123165369 035 $a(EXLCZ)991000000000490574 100 $a20210611d2007 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aFormal aspects in security and trust $eFourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /$fTheo Dimitrakos [and three others] (editors) 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer,$d[2007] 210 4$d©2007 215 $a1 online resource (VIII, 288 p.) 225 1 $aLecture Notes in Computer Science ;$v4691 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75226-9 320 $aIncludes bibliographical references and index. 327 $aStrategic Games on Defense Trees -- Timed Calculus of Cryptographic Communication -- A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk -- Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security -- Measuring Anonymity with Relative Entropy -- Formalizing and Analyzing Sender Invariance -- From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust -- A Tool for the Synthesis of Controller Programs -- Where Can an Insider Attack? -- Maintaining Information Flow Security Under Refinement and Transformation -- A Classification of Delegation Schemes for Attribute Authority -- Program Partitioning Using Dynamic Trust Models -- Locality-Based Security Policies -- A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols -- A Formal Specification of the MIDP 2.0 Security Model -- A Comparison of Semantic Models for Noninterference -- Hiding Information in Multi Level Security Systems -- A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks. 410 0$aLecture notes in computer science ;$v4691. 606 $aComputer security$vCongresses 606 $aFormal methods (Computer science)$vCongresses 606 $aTrust$vCongresses 615 0$aComputer security 615 0$aFormal methods (Computer science) 615 0$aTrust 676 $a005.8 702 $aDimitrakos$b Theo 712 12$aFAST 2006 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465947503316 996 $aFormal Aspects in Security and Trust$9772285 997 $aUNISA LEADER 02488oam 2200493Mn 450 001 9910504301403321 005 20251106191437.1 010 $a1-003-69273-7 024 7 $a10.5117/9789463728744 024 8 $aCIPO000299119 035 $a(CKB)5590000000629476 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/72388 035 $a(oapen)doab72388 035 $a(OCoLC)1543517825 035 $a(OCoLC-P)1543517825 035 $a(FlBoTFG)9781003692737 035 $a(EXLCZ)995590000000629476 100 $a20251008d2025 uy 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCollective memory and the Dutch East Indies $eunremembering decolonization 210 $a[S.l.] $cROUTLEDGE$d2025 215 $a1 online resource (337 p.) 225 1 $aHeritage and Memory Studies 311 08$a94-6372-874-0 330 $aThis book examines the afterlife of decolonization in the collective memory of the Netherlands. It offers a new perspective on the cultural history of representing the decolonization of the Dutch East Indies, and maps out how a contested collective memory was shaped. Taking a transdisciplinary approach and applying several theoretical frames from literary studies, sociology, cultural anthropology and film theory, the author reveals how mediated memories contributed to a process of what he calls "unremembering." He analyses in detail a broad variety of sources, including novels, films, documentaries, radio interviews, memoires and historical studies, to reveal how five decades of representing and remembering decolonization fed into an unremembering by which some key notions were silenced or ignored. The author concludes that historians, or the historical guild, bear much responsibility for the unremembering of decolonization in Dutch collective memory. 517 $aCollective Memory and the Dutch East Indies 606 $aCollective memory$zNetherlands 606 $aDecolonization$zNetherlands 607 $aIndonesia$xHistory$y1798-1942 607 $aNetherlands$xColonies$zAsia$xHistory 615 0$aCollective memory 615 0$aDecolonization 676 $a325.349209598 700 $aDoolan$b Paul M. M$01878510 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910504301403321 996 $aCollective memory and the Dutch East Indies$94491246 997 $aUNINA