1 resultado para Information protection and management
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- JISC Information Environment Repository (3)
- Repository Napier (2)
- Aberdeen University (1)
- Abertay Research Collections - Abertay University’s repository (1)
- Aberystwyth University Repository - Reino Unido (4)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aquatic Commons (86)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (52)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (3)
- Aston University Research Archive (16)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (12)
- Boston University Digital Common (2)
- Brock University, Canada (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (4)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (28)
- CentAUR: Central Archive University of Reading - UK (80)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (14)
- Cochin University of Science & Technology (CUSAT), India (4)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (8)
- CORA - Cork Open Research Archive - University College Cork - Ireland (6)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (4)
- Dalarna University College Electronic Archive (1)
- Deakin Research Online - Australia (176)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (2)
- Digital Commons at Florida International University (2)
- DigitalCommons@The Texas Medical Center (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- Duke University (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (30)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (10)
- Indian Institute of Science - Bangalore - Índia (23)
- Instituto Politécnico de Bragança (1)
- Instituto Politécnico do Porto, Portugal (4)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (2)
- Ministerio de Cultura, Spain (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (10)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (115)
- Queensland University of Technology - ePrints Archive (126)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (2)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (15)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (13)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (3)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- School of Medicine, Washington University, United States (3)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (6)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade dos Açores - Portugal (1)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
- Université de Lausanne, Switzerland (9)
- Université de Montréal, Canada (4)
- University of Michigan (12)
- University of Queensland eSpace - Australia (14)
- University of Southampton, United Kingdom (7)
- University of Washington (1)
- WestminsterResearch - UK (3)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.