00708nam0-22002411i-450-990001185640403321000118564FED01000118564(Aleph)000118564FED0100011856420000920d1986----km-y0itay50------baengConstants in some Inequalities of Analysisby MIKHLIN S.G.Chichester [etc.]John Wiley1986Mikhlin,Solomon Grigor'evich<1908-1990>55973ITUNINARICAUNIMARCBK990001185640403321114-G-244080MA1MA1Constants in some Inequalities of Analysis342627UNINAING0101167nam0-2200313---450-990002567490203316(ALEPH)000256749USA0120050916d1976----km-y0itay50------baitaIT<<Le >>infrastrutture aeroportuali, con particolare riguardo allo scalo di salernoRusso Maria Rosariarelatore Giuseppe FontanellaSalerno19761vTesi di laureaUniversità degli studi di Salerno, Facoltà di Economia E Commercio, A.A. 1975/1976RUSSO,Maria Rosaria0717162865ITsalbcISBDhttp://biblio-aleph.unisa.it/tesionline/9361.tifFrontespizio e/o abstract, indice, bibliografiaFONTANELLA,Giuseppe990002567490203316Economia dei trasporti9712THTESIBATCH0120050916USA011735BATCH-UPD0120061206USA010755BATCH-UPD0120140507USA011217Infrastrutture aeroportuali, con particolare riguardo allo scalo di salerno1055428UNISA05460nam 22008055 450 99646603720331620200702035007.03-642-01465-810.1007/978-3-642-01465-9(CKB)1000000000718121(SSID)ssj0000317694(PQKBManifestationID)11246701(PQKBTitleCode)TC0000317694(PQKBWorkID)10293509(PQKB)10637417(DE-He213)978-3-642-01465-9(MiAaPQ)EBC3064114(PPN)134131509(EXLCZ)99100000000071812120100301d2009 u| 0engurnn#008mamaatxtccrFormal Aspects in Security and Trust[electronic resource] 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /edited by Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (X, 331 p.)Security and Cryptology ;5491Bibliographic Level Mode of Issuance: Monograph3-642-01464-X Includes bibliographical references and index.Formal Certification of ElGamal Encryption -- Secure Information Flow as a Safety Property -- Who Can Declassify? -- Non-Interference for Deterministic Interactive Programs -- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels -- Causality and Accountability -- Dynamics, Robustness and Fragility of Trust -- Trust within the Context of Organizations: A Formal Approach -- Know What You Trust -- Privacy-Friendly Electronic Traffic Pricing via Commits -- A Formal Privacy Management Framework -- Parameterised Anonymity -- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder -- Petri Net Security Checker: Structural Non-interference at Work -- Verifying Multi-party Authentication Using Rank Functions and PVS -- The Append-Only Web Bulletin Board -- Secure Broadcast Ambients -- Extending Anticipation Games with Location, Penalty and Timeline -- Do You Really Mean What You Actually Enforced? -- Delegating Privileges over Finite Resources: A Quota Based Delegation Approach -- Access Control and Information Flow in Transactional Memory.This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.Security and Cryptology ;5491Computer securityComputer communication systemsData encryption (Computer science)Computers and civilizationManagement information systemsComputer scienceInformation storage and retrievalSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Computer security.Computer communication systems.Data encryption (Computer science).Computers and civilization.Management information systems.Computer science.Information storage and retrieval.Systems and Data Security.Computer Communication Networks.Cryptology.Computers and Society.Management of Computing and Information Systems.Information Storage and Retrieval.005.8Degano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtGuttman Joshua Dedthttp://id.loc.gov/vocabulary/relators/edtMartinelli Fabioedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466037203316Formal Aspects in Security and Trust772285UNISA01230nam0 22003131i 450 UON0013545820231205102818.56296-220-1527-120020107d1992 |0itac50 baengHK||||p |||||ˆThe ‰analectsLun YuConfuciustranslated by D.C. LauHong KongThe Chinese University Press1992LIII, 288 p.24 cmUON00353427Lun Yü30127CONFUCIOOPERETRADUZIONIUONC003134FICNHong KongUONL000075CIN VII ACINA - RELIGIONE E FILOSOFIA - PERIODO CLASSICOAConfucioUONV004831203847Chinese University of Hong KongUONV250080650Kǒng FūzǐConfucioUONV093154ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00135458SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN VII A 332 N SI SA 98921 7 332 N CONFUCIO - Vita e opereCONFUCIO - OPERE - TRADUZIONIUONC006250Lun Yü30127UNIOR