top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
UbiComp 2004: Ubiquitous Computing [electronic resource] : 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings / by Nigel Davies, Elizabeth Mynatt, Itiro Siio
UbiComp 2004: Ubiquitous Computing [electronic resource] : 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings / by Nigel Davies, Elizabeth Mynatt, Itiro Siio
Creatore [Davies, Nigel]
Accesso persona Mynatt, Elizabeth
Siio, Itiro
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Communication Networks
Computers and Society
Information Systems Applications (incl.Internet)
Operating Systems
Software Engineering
User Interfaces and Human Computer Interaction
ISBN 9783540229551
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354447
[Davies, Nigel]  
Software
Lo trovi qui: University of Chicago
Digital Rights Management [electronic resource] : ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002, Revised Papers / by Joan Feigenbaum
Digital Rights Management [electronic resource] : ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002, Revised Papers / by Joan Feigenbaum
Creatore [Feigenbaum, Joan]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Communication Networks
Computers and Society
Data Encryption
Legal Aspects of Computing
Management of Computing and Information Systems
Operating Systems
ISBN 9783540404101
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354609
[Feigenbaum, Joan]  
Software
Lo trovi qui: University of Chicago
Agents and Peer-to-Peer Computing [electronic resource] : First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers / by Gianluca Moro, Manolis Koubarakis
Agents and Peer-to-Peer Computing [electronic resource] : First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers / by Gianluca Moro, Manolis Koubarakis
Creatore [Moro, Gianluca]
Accesso persona Koubarakis, Manolis
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Computer Communication Networks
Computers and Society
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
ISBN 9783540405382
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354640
[Moro, Gianluca]  
Software
Lo trovi qui: University of Chicago
Energy efficient data centers : first International Workshop, E²DC 2012, Madrid, Spain, Mai 8, 2012, Revised selected papers / Jyrki Huusko [and others] (eds.).
Energy efficient data centers : first International Workshop, E²DC 2012, Madrid, Spain, Mai 8, 2012, Revised selected papers / Jyrki Huusko [and others] (eds.).
Creatore [International Workshop on Energy-Efficient Data Centers (1st : 2012 : Madrid, Spain)]
Estensione 1 online resource.
Accesso persona Huusko, Jyrki
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Computer system performance
Database management
Computer simulation
Information Systems
System Performance and Evaluation
Computers and Society
Management of Computing and Information Systems
Simulation and Modeling
ISBN 9783642336454
3642336450
3642336442
9783642336447
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Setting Energy Efficiency Goals in Data Centers: The GAMES Approach / Barbara Pernici, Cinzia Cappiello, Maria Grazia Fugini, Pierluigi Plebani and Monica Vitali, et al. -- Sustainable Energy Management in Data Centers through Collaboration / Sonja Klingert, Andreas Berl, Michael Beck, Radu Serban and Marco di Girolamo, et al. -- Modeling and Simulation of Data Center Energy-Efficiency in CoolEmAll / Micha vor dem Berge, Georges Da Costa, Andreas Kopecki, Ariel Oleksiak and Jean-Marc Pierson, et al. -- SLAs for Energy-Efficient Data Centres: The Standards-Based Approach of the OPTIMIS Project / Wolfgang Ziegler -- The GreenIT DC-Benchmarking Tool: From Scientific Theory to Real Life / Ywes Israel and Thomas Leitert -- GreenSLAs: Supporting Energy-Efficiency through Contracts / Christian Bunse, Sonja Klingert and Thomas Schulze -- Power-Aware Resource Allocation for CPU- and Memory-Intense Internet Services / Vlasia Anagnostopoulou, Susmit Biswas, Heba Saadeldeen, Ricardo Bianchini and Tao Yang, et al. -- Exploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems / Marco Guazzone, Cosimo Anglano and Massimo Canonico -- Energy Efficient Service Delivery in Clouds in Compliance with the Kyoto Protocol / Drazen Lucanin, Michael Maurer, Toni Mastelic and Ivona Brandic -- Implementation and Evaluation of a Wired Data Center Sensor Network / Mikko Pervilä, Mikko Rantanen and Jussi Kangasharju -- An Environmental Chargeback for Data Center and Cloud Computing Consumers / Edward Curry, Souleiman Hasan, Mark White and Hugh Melvin -- Energy Usage and Carbon Emission Optimization Mechanism for Federated Data Centers / Dang Minh Quan, Andrey Somov and Corentin Dupont -- DNA-Inspired Scheme for Building the Energy Profile of HPC Systems / Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf and Georges Da Costa.
Record Nr. UCHICAGO-11077457
[International Workshop on Energy-Efficient Data Centers (1st : 2012 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings / Fabio Kon, Anne-Marie Kermarrec (eds.).
Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings / Fabio Kon, Anne-Marie Kermarrec (eds.).
Creatore [ACM/IFIP/USENIX International Middleware Conference (12th : 2011 : Lisbon, Portugal)]
Estensione 1 online resource (xiii, 514 pages).
Accesso persona Kon, Fabio
Kermarrec, Anne-Marie
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Information Systems
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Management of Computing and Information Systems
Computers and Society
ISBN 9783642258213
3642258212
3642258204
9783642258206
Classificazione 54.32
54.99
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076320
[ACM/IFIP/USENIX International Middleware Conference (12th : 2011 : Lisbon, Portugal)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Building the e-World ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011 : revised selected papers / Tomas Skersys [and others] (eds.).
Building the e-World ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011 : revised selected papers / Tomas Skersys [and others] (eds.).
Creatore [IFIP Conference on e-Business, e-Services, and e-Society (11th : 2011 : Kaunas, Lithuania)]
Estensione 1 online resource (xi, 318 pages) : illustrations.
Accesso persona Skersys, Tomas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Information Systems
Computers and Society
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
Information Storage and Retrieval
ISBN 9783642272608
3642272606
9783642272592
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076373
[IFIP Conference on e-Business, e-Services, and e-Society (11th : 2011 : Kaunas, Lithuania)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Telecommunication economics : selected results of the COST Action ISO605 Econ@Tel / Antonis M. Hadjiantonis, Burkhard Stiller (eds.).
Telecommunication economics : selected results of the COST Action ISO605 Econ@Tel / Antonis M. Hadjiantonis, Burkhard Stiller (eds.).
Estensione 1 online resource (ix, 242 pages).
Accesso persona Hadjiantonis, Antonis M.
Stiller, Burkhard, 1965-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Information Systems
Telecommunication
Communications Engineering, Networks
Computers and Society
Management of Computing and Information Systems
ISBN 9783642303821
364230382X
3642303811
9783642303814
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Telecommunication Economics / Antonis M. Hadjiantonis -- Introduction to Evolution and Regulation of Communication Ecosystems / Sandro Mendonça -- Evolution and Regulation of Mobile Ecosystems: European Information Society Policies for the Mobile Search Domain / Sergio Ramos, José Luis Gómez-Barroso and Claudio Feijóo -- International Roaming of Mobile Services: The Need for Regulation / Morten Falch -- Mobile Regulation for the Future / Zsuzsanna Kósa -- Trademarks as a Telecommunications Indicator for Industrial Analysis and Policy / Sandro Mendonça -- Introduction to Social and Policy Implications of Communication Technologies / Antonis M. Hadjiantonis -- Mobile Communications of the Needy and Poor: Affordability Indicators, European Data, Social Tariffs / Louis-Francois Pau, Pedro Puga, Hong Chen and Zviad Kirtava -- Implications of mHealth Service Deployments: A Comparison between Dissimilar European Countries / Frederic Vannieuwenborg, Zviad Kirtava, Lambros Lambrinos, Jan Van Ooteghem and Sofie Verbrugge -- Social Communication Behaviors of Virtual Leaders / Daphna Shwarts-Asher -- Policy Implications of Digital Television / Bartolomeo Sapio -- Introduction to Economics and Governance of Future Networks / Bruno Tuffin -- Public Intervention in the Deployment of NGNs / José Luis Gómez-Barroso and Claudio Feijóo -- Public Private Partnerships and Next Generation Networks / Idongesit Williams and Morten Falch.
Internet Governance and Economics of Network Neutrality / Patrick Maillé, Peter Reichl and Bruno Tuffin -- Green Networks and Green Tariffs as Driven by User Service Demand / Louis-Francois Pau -- Environmental Impact of ICT on the Transport Sector / Morten Falch -- Cost-Efficient NGN Rollout / Sofie Verbrugge, Jan Van Ooteghem, Koen Casier, Marlies Van der Wee and Mathieu Tahon -- Software Business in the Telecommunications Sector / Lauri Frank, Eetu Luoma, Oleksiy Mazhelis, Mirja Pulkkinen and Pasi Tyrväinen -- Introduction to Future Networks Management Architectures and Mechanisms / Iztok Starc -- Economics of Quality of Experience / Peter Reichl, Bruno Tuffin and Patrick Maillé -- Decision Support in Contract Formation for Commercial Electronic Services with International Connection / Martin Waldburger and Burkhard Stiller -- Competition among Telecommunication Providers / Patrick Maillé, Peter Reichl and Bruno Tuffin -- Economic Traffic Management: Mechanisms and Applications / Fabio Hecht and Burkhard Stiller -- Autonomic Management of Mobile and Wireless Networks / Antonis M. Hadjiantonis -- On the Provision of Advanced Telecommunication Services in Rural Areas / Lambros Lambrinos -- Electrical Power Systems Protection and Interdependencies with ICT / George M. Milis, Elias Kyriakides and Antonis M. Hadjiantonis -- Towards Quantitative Risk Management for Next Generation Networks / Iztok Starc and Denis Trček -- Résumé -- Summary and Conclusions / Burkhard Stiller.
Record Nr. UCHICAGO-11076874
Materiale a stampa
Lo trovi qui: University of Chicago
Information security and privacy research : 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings / Dimitris Gritzalis, Steven Furnell, Marianthi Theoharidou (eds.).
Information security and privacy research : 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings / Dimitris Gritzalis, Steven Furnell, Marianthi Theoharidou (eds.).
Creatore [IFIP TC11 International Conference on Information Security (27th : 2012 : Ērakleion, Greece)]
Estensione 1 online resource.
Accesso persona Gritzalis, Dimitris
Furnell, Steven, 1970-
Theoharidou, Marianthi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Data Encryption
Computers and Society
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642304361
3642304362
3642304354
9783642304354
Classificazione 54.62
54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Relay Attacks on Secure Element-Enabled Mobile Devices / Virtual Pickpocketing Revisited / Michael Roland, Josef Langer and Josef Scharinger -- Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures) / Alessandro Armando, Alessio Merlo, Mauro Migliardi and Luca Verderame -- An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling / Bernhard J. Berger and Karsten Sohr -- Embedded Eavesdropping on Java Card / Guillaume Barbu, Christophe Giraud and Vincent Guerin -- Authenticated Key Exchange (AKE) in Delay Tolerant Networks / Sofia Anna Menesidou and Vasilios Katos -- OFELIA -- A Secure Mobile Attribute Aggregation Infrastructure for User-Centric Identity Management / Alexandre B. Augusto and Manuel Eduardo Correia -- Smart OpenID: A Smart Card Based OpenID Protocol / Andreas Leicher, Andreas U. Schmidt and Yogendra Shah -- Peer to Peer Botnet Detection Based on Flow Intervals / David Zhao, Issa Traore, Ali Ghorbani, Bassam Sayed and Sherif Saad, et al. -- Towards a Universal Data Provenance Framework Using Dynamic Instrumentation / Eleni Gessiou, Vasilis Pappas, Elias Athanasopoulos, Angelos D. Keromytis and Sotiris Ioannidis -- Improving Flask Implementation Using Hardware Assisted In-VM Isolation / Baozeng Ding, Fufeng Yao, Yanjun Wu and Yeping He.
HyperForce: Hypervisor-enForced Execution of Security-Critical Code / Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg and Wouter Joosen -- RandHyp: Preventing Attacks via Xen Hypercall Interface / Feifei Wang, Ping Chen, Bing Mao and Li Xie -- Role Mining under Role-Usage Cardinality Constraint / John C. John, Shamik Sural, Vijayalakshmi Atluri and Jaideep S. Vaidya -- HIDE_DHCP: Covert Communications through Network Configuration Messages / Ruben Rios, Jose A. Onieva and Javier Lopez -- Handling Stateful Firewall Anomalies / Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquin Garcia-Alfaro, Tarik Moataz and Xavier Rimasson -- A Framework for Threat Assessment in Access Control Systems / Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi and Luigi Logrippo -- Support for Write Privileges on Outsourced Data / Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi and Pierangela Samarati -- Malicious Users' Transactions: Tackling Insider Threat / Weihan Li, Brajendra Panda and Qussai Yaseen -- Privacy-Preserving Television Audience Measurement Using Smart TVs / George Drosatos, Aimilia Tasidou and Pavlos S. Efraimidis -- Tracking Users on the Internet with Behavioral Patterns: Evaluation of Its Practical Feasibility / Christian Banse, Dominik Herrmann and Hannes Federrath.
Smartphone Forensics: A Proactive Investigation Scheme for Evidence Acquisition / Alexios Mylonas, Vasilis Meletiadis, Bill Tsoumas, Lilian Mitrou and Dimitris Gritzalis -- Modeling Social Engineering Botnet Dynamics across Multiple Social Networks / Shuhao Li, Xiaochun Yun, Zhiyu Hao, Yongzheng Zhang and Xiang Cui, et al. -- Layered Analysis of Security Ceremonies / Giampaolo Bella and Lizzie Coles-Kemp -- A Small Depth-16 Circuit for the AES S-Box / Joan Boyar and René Peralta -- Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol / Maria Christofi and Aline Gouget -- My Authentication Album: Adaptive Images-Based Login Mechanism / Amir Herzberg and Ronen Margulies -- Balancing Security and Usability of Local Security Mechanisms for Mobile Devices / Shuzhe Yang and Gökhan Bal -- Analyzing Value Conflicts for a Work-Friendly ISS Policy Implementation / Ella Kolkowska and Bart De Decker -- When Convenience Trumps Security: Defining Objectives for Security and Usability of Systems / Gurpreet Dhillon, Tiago Oliveira, Santa Susarapu and Mário Caldeira -- Security-by-Contract for the OSGi Platform / Olga Gadyatskaya, Fabio Massacci and Anton Philippov -- Cyber Weather Forecasting: Forecasting Unknown Internet Worms Using Randomness Analysis / Hyundo Park, Sung-Oh David Jung, Heejo Lee and Hoh Peter In.
Incentive Compatible Moving Target Defense against VM-Colocation Attacks in Clouds / Yulong Zhang, Min Li, Kun Bai, Meng Yu and Wanyu Zang -- Give Rookies A Chance: A Trust-Based Institutional Online Supplier Recommendation Framework / Han Jiao, Jixue Liu, Jiuyong Li and Chengfei Liu -- A Game-Theoretic Formulation of Security Investment Decisions under Ex-ante Regulation / Giuseppe D'Acquisto, Marta Flamini and Maurizio Naldi -- Optimizing Network Patching Policy Decisions / Yolanta Beres and Jonathan Griffin -- A Risk Assessment Method for Smartphones / Marianthi Theoharidou, Alexios Mylonas and Dimitris Gritzalis -- Empirical Benefits of Training to Phishing Susceptibility / Ronald Dodge, Kathryn Coronges and Ericka Rovira -- Multi-modal Behavioural Biometric Authentication for Mobile Devices / Hataichanok Saevanee, Nathan L. Clarke and Steven M. Furnell -- Analysis and Modeling of False Synchronizations in 3G-WLAN Integrated Networks / Christoforos Ntantogian, Christos Xenakis and Ioannis Stavrakakis -- Password Protected Smart Card and Memory Stick Authentication against Off-Line Dictionary Attacks / Yongge Wang -- Distributed Path Authentication for Dynamic RFID-Enabled Supply Chains / Shaoying Cai, Yingjiu Li and Yunlei Zhao -- Enhanced Dictionary Based Rainbow Table / Vrizlynn L.L. Thing and Hwei-Ming Ying.
Authorization Policies for Materialized Views / Sarah Nait-Bahloul, Emmanuel Coquery and Mohand-Saïd Hacid -- Enhancing the Security of On-line Transactions with CAPTCHA Keyboard / Yongdong Wu and Zhigang Zhao -- Fighting Pollution Attack in Peer-to-Peer Streaming Networks: A Trust Management Approach / Xin Kang and Yongdong Wu -- A Framework for Anonymizing GSM Calls over a Smartphone VoIP Network / Ioannis Psaroudakis, Vasilios Katos and Pavlos S. Efraimidis -- A Browser-Based Distributed System for the Detection of HTTPS Stripping Attacks against Web Pages / Marco Prandini and Marco Ramilli -- Privacy-Preserving Mechanisms for Organizing Tasks in a Pervasive eHealth System / Milica Milutinovic, Vincent Naessens and Bart De Decker -- Web Services Security Assessment: An Authentication-Focused Approach / Yannis Soupionis and Miltiadis Kandias -- Open Issues and Proposals in the IT Security Management of Commercial Ports: The S-PORT National Case / Nineta Polemi and Theodoros Ntouskas -- A Response Strategy Model for Intrusion Response Systems / Nor Badrul Anuar, Maria Papadaki, Steven Furnell and Nathan Clarke -- Intrusion Tolerance of Stealth DoS Attacks to Web Services / Massimo Ficco and Massimiliano Rak -- Towards Use-Based Usage Control / Christos Grompanopoulos and Ioannis Mavridis.
Record Nr. UCHICAGO-11076972
[IFIP TC11 International Conference on Information Security (27th : 2012 : Ērakleion, Greece)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Privacy and identity management for life : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised selected papers / Jan Camenisch [and others] (eds.).
Privacy and identity management for life : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised selected papers / Jan Camenisch [and others] (eds.).
Creatore [IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School (7th : 2011 : Trento, Italy)]
Estensione 1 online resource.
Accesso persona Camenisch, Jan.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Computers and Society
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
ISBN 9783642316685
3642316689
3642316670
9783642316678
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Are They Making Our Privates Public? -- Emerging Risks of Governmental Open Data Initiatives / Thomas P. Keenan -- Top 10 Mistakes in System Design from a Privacy Perspective and Privacy Protection Goals / Marit Hansen -- Developing a Strategy for Automated Privacy Testing Suites / Ioannis Agrafiotis, Sadie Creese and Michael Goldsmith -- Assessing Formal Independence of Data Protection Authorities in a Comparative Perspective / Philip Schütz -- Extracting Access Control and Conflict Resolution Policies from European Data Protection Law / Kaniz Fatema, David W. Chadwick and Brendan Van Alsenoy -- Early Lessons Learned in the ENDORSE Project: Legal Challenges and Possibilities in Developing Data Protection Compliance Software / Sandra Olislaegers -- The Infrastructure Level of Cloud Computing as a Basis for Privacy and Security of Software Services / Ina Schiering and Jan Kretschmer -- (More) Side Channels in Cloud Storage: Linking Data to Users / Tobias Pulls -- Who Got All of My Personal Data? Enabling Users to Monitor the Proliferation of Shared Personally Identifiable Information / Sebastian Labitzke -- Exploring Touch-Screen Biometrics for User Identification on Smart Phones / Julio Angulo and Erik Wästlund -- Using a Smartphone to Access Personalized Web Services on a Workstation / Faysal Boukayoua, Jan Vossaert, Bart De Decker and Vincent Naessens -- Designing Privacy-Enhancing Mobile Applications / Koen Decroix, Bart De Decker and Vincent Naessens -- Extending Comparison Shopping Sites by Privacy Information on Retailers / Ulrich König and Marit Hansen -- Do-Not-Track Techniques for Browsers and Their Implications for Consumers / Martin Beck and Michael Marhöfer -- P2P Social Networks with Broadcast Encryption Protected Privacy / Oleksandr Bodriagov and Sonja Buchegger -- Privacy by Design: Does It Matter for Social Networks? / Mohammad Badiul Islam and Renato Iannella -- Privacy Preserving Mechanisms for a Pervasive eHealth System / Milica Milutinovic, Koen Decroix, Vincent Naessens and Bart De Decker -- Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation / Ioannis Agrafiotis, Sadie Creese and Michael Goldsmith -- Privacy Protection Goals and Their Implications for eID Systems / Harald Zwingelberg and Marit Hansen -- Avoiding Man-in-the-Middle Attacks When Verifying Public Terminals / Gergely Alpár and Jaap-Henk Hoepman -- Massive Data Collection by Mistake? / Arnold Roosendaal -- Addressing Governance and Ethics in European Technology Development Projects through Scenarios / Aygen Kurt and Penny Duquenoy.
Record Nr. UCHICAGO-11077007
[IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School (7th : 2011 : Trento, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers / Gilles Barthe, Anupam Datta, Sandro Etalle (eds.).
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers / Gilles Barthe, Anupam Datta, Sandro Etalle (eds.).
Creatore [FAST (Workshop) (8th : 2011 : Leuven, Belgium)]
Estensione 1 online resource (x, 277 pages) : illustrations.
Accesso persona Barthe, Gilles, 1967-
Datta, Anupam
Etalle, Sandro
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Information storage and retrieval systems
Information Systems
Systems and Data Security
Computers and Society
Management of Computing and Information Systems
Information Storage and Retrieval
ISBN 9783642294204
3642294200
9783642294198
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying Cryptographic Code in C: Some Experience and the Csec Challenge / Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon and Jan Jürjens -- Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation / Willem De Groef, Dominique Devriese and Frank Piessens -- Differential Privacy: On the Trade-Off between Utility and Information Leakage / Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano and Catuscia Palamidessi -- On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow / Luciano Bello and Eduardo Bonelli -- Min-Entropy Leakage of Channels in Cascade / Barbara Espinoza and Geoffrey Smith -- Secure Recharge of Disposable RFID Tickets / Riccardo Focardi and Flaminia L. Luccio -- Avoiding Delegation Subterfuge Using Linked Local Permission Names / Simon N. Foley and Samane Abdi -- Verifiable Control Flow Policies for Java Bytecode / Arnaud Fontaine, Samuel Hym and Isabelle Simplot-Ryl -- Concepts and Proofs for Configuring PKCS#11 / Sibylle Fröschle and Nils Sommer -- Service Automata / Richard Gay, Heiko Mantel and Barbara Sprick -- Analysing Applications Layered on Unilaterally Authenticating Protocols / Thomas Gibson-Robinson and Gavin Lowe -- Type-Based Enforcement of Secure Programming Guidelines -- Code Injection Prevention at SAP / Robert Grabowski, Martin Hofmann and Keqin Li -- TBA : A Hybrid of Logic and Extensional Access Control Systems / Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders and John C. Mitchell -- Diffie-Hellman without Difficulty / Sebastian Mödersheim -- Is Cryptyc Able to Detect Insider Attacks? / Behnam Sattarzadeh and Mehran S. Fallah -- Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes / Ben Smyth, Mark Ryan and Liqun Chen -- Risk Balance in Optimistic Non-repudiation Protocols / Mohammad Torabi Dashti, Jan Cederquist and Yanjing Wang.
Record Nr. UCHICAGO-11077024
[FAST (Workshop) (8th : 2011 : Leuven, Belgium)]  
Materiale a stampa
Lo trovi qui: University of Chicago