2 resultados para flow of translation
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (2)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (6)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Aquatic Commons (19)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (4)
- Archive of European Integration (4)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (4)
- Aston University Research Archive (30)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (18)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (13)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (21)
- Boston University Digital Common (1)
- Brock University, Canada (5)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CaltechTHESIS (10)
- Cambridge University Engineering Department Publications Database (43)
- CentAUR: Central Archive University of Reading - UK (73)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (34)
- Cochin University of Science & Technology (CUSAT), India (4)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (9)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Dalarna University College Electronic Archive (5)
- Deakin Research Online - Australia (49)
- Department of Computer Science E-Repository - King's College London, Strand, London (2)
- Digital Archives@Colby (2)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (7)
- Earth Simulator Research Results Repository (1)
- Greenwich Academic Literature Archive - UK (13)
- Helda - Digital Repository of University of Helsinki (16)
- Indian Institute of Science - Bangalore - Índia (162)
- Instituto Politécnico do Porto, Portugal (4)
- Martin Luther Universitat Halle Wittenberg, Germany (1)
- Massachusetts Institute of Technology (6)
- National Center for Biotechnology Information - NCBI (21)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (4)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (20)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (70)
- Queensland University of Technology - ePrints Archive (81)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (83)
- Repositorio Institucional Universidad de Medellín (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- Universidad de Alicante (5)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (2)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Pará (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (4)
- Université de Montréal, Canada (11)
- University of Canberra Research Repository - Australia (1)
- University of Michigan (21)
- University of Queensland eSpace - Australia (11)
- University of Washington (2)
- WestminsterResearch - UK (2)
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.