Search results for "Trust"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Oren Golan	Trust Over the Net: The Case of Israeli Youth.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Ioanna Dionysiou, David E. Bakken	A Conceptual Framework for Adaptive and Configurable Activity-Aware Trust in Collaborative Environments.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	G. Scott Erickson, Kurt Komaromi, Fahri Unsal	Social Networks and Trust in e-Commerce.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Shiguo Lian	Trust Issues and Solutions in Multimedia Content Distribution.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Rima Deghaili, Ali Chehab, Ayman I. Kayssi, Wassim Itani	STRIDE: A Secure Framework for Modeling Trust-Privacy Tradeoffs in Distributed Computing Environments.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Hua Dai	Service Convenience, Trust and Exchange Relationship in Electronic Mediated Environment (EME): An Empirical Study of Chinese Consumers.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Blaine Robbins, Maria Grigoryeva	Information Technology, Political Institutions, and Generalized Trust: An Empirical Assessment Using Structural Equation Models.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Tina Guenther, Guido Möllering	A Framework for Studying the Problem of Trust in Online Settings.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Piotr Cofta, Hazel Lacohée, Paul Hodgson	Incorporating Social Trust into Design Practices for Secure Systems.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF
23	Pierpaolo Degano, Joshua D. Guttman (eds.)	Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Sibylle B. Fröschle, Nils Sommer	Reasoning with Past to Prove PKCS#11 Keys Secure.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Jason Crampton	Cryptographic Enforcement of Role-Based Access Control.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Mana Taghdiri, Gregor Snelting, Carsten Sinz	Information Flow Analysis via Path Condition Refinement.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Francesco Ballardin, Massimo Merro	A Calculus for the Analysis of Wireless Network Security Protocols.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Meilof Veeningen, Benne de Weger, Nicola Zannone	Modeling Identity-Related Properties and Their Privacy Strength.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Allaa Kamil, Gavin Lowe	Understanding Abstractions of Secure Channels.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Bruno Conchinha, David A. Basin, Carlos Caleiro	Efficient Decision Procedures for Message Deducibility and Static Equivalence.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Raphaël Khoury, Nadia Tawbi	Corrective Enforcement of Security Policies.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer	Foundations of Attack-Defense Trees.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Naipeng Dong, Hugo L. Jonker, Jun Pang 0001	Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov	Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Clément Hurlin, Hélène Kirchner	Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel	A Formal Analysis of Authentication in the TPM.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
23	Liqun Chen 0002, Chris J. Mitchell, Andrew P. Martin (eds.)	Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings	TRUST	2009	DBLP DOI BibTeX RDF
23	Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (eds.)	Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Nolan Miller, Paul Resnick, Richard Zeckhauser	Eliciting Informative Feedback: The Peer-Prediction Method.	Computing with Social Trust	2009	DBLP DOI BibTeX RDF
23	K. Faith Lawrence	Internet-Based Community Networks: Finding the Social in Social Networks.	Computing with Social Trust	2009	DBLP DOI BibTeX RDF
23	Eimear Gallery, Aarthi Nagarajan, Vijay Varadharajan	A Property-Dependent Agent Transfer Protocol.	TRUST	2009	DBLP DOI BibTeX RDF
23	Paul England, Talha Tariq	Towards a Programmable TPM.	TRUST	2009	DBLP DOI BibTeX RDF	Trusted Platforms, Secure Execution, Smart Cards, Trusted Platform Module
23	Stefan Katzenbeisser 0001, Klaus Kursawe, Frederic Stumpf	Revocation of TPM Keys.	TRUST	2009	DBLP DOI BibTeX RDF
23	Kurt Dietrich, Johannes Winter	Implementation Aspects of Mobile and Embedded Trusted Computing.	TRUST	2009	DBLP DOI BibTeX RDF	Mobile Trusted Computing, MTMs, ARM TrustZone, Secure Element, JavaCard
23	John Lyle	Trustable Remote Verification of Web Services.	TRUST	2009	DBLP DOI BibTeX RDF
23	Loïc Duflot, Olivier Levillain, Benjamin Morin	ACPI: Design Principles and Concerns.	TRUST	2009	DBLP DOI BibTeX RDF	ACPI, trusted platforms, rootkits
23	Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy	Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels.	TRUST	2009	DBLP DOI BibTeX RDF
23	Steffen Schulz 0001, Ahmad-Reza Sadeghi	Secure VPNs for Trusted Computing Environments.	TRUST	2009	DBLP DOI BibTeX RDF
23	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
23	Jun Ho Huh, John Lyle	Trustworthy Log Reconciliation for Distributed Virtual Organisations.	TRUST	2009	DBLP DOI BibTeX RDF
23	Sven Türpe, Andreas Poller, Jan Steffan, Jan-Peter Stotz, Jan Trukenmüller	Attacking the BitLocker Boot Process.	TRUST	2009	DBLP DOI BibTeX RDF
23	Pascal Lafourcade 0001, Vanessa Terrade, Sylvain Vigier	Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Peeter Laud, Ilja Tsahhirov	A User Interface for a Game-Based Protocol Verification Tool.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Toby C. Murray, Gavin Lowe	Analysing the Information Flow Properties of Object-Capability Patterns.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Achim D. Brucker, Sebastian Mödersheim	Integrating Automated and Interactive Protocol Verification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Ying Zhang, Chenyi Zhang, Jun Pang 0001, Sjouke Mauw	Game-Based Verification of Multi-Party Contract Signing Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Massimo Merro, Eleonora Sibilio	A Calculus of Trustworthy Ad Hoc Networks.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Jay A. McCarthy, Shriram Krishnamurthi	Trusted Multiplexing of Cryptographic Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Anindya Banerjee 0001	Semantics and Enforcement of Expressive Information Flow Policies.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Allaa Kamil, Gavin Lowe	Specifying and Modelling Secure Channels in Strand Spaces.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Alessandro Armando, Serena Elisa Ponta	Model Checking of Security-Sensitive Business Processes.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Josef Svenningsson, David Sands 0001	Specification and Verification of Side Channel Declassification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Liqun Chen 0002, Mark Ryan 0001	Attack, Solution and Verification for Shared Authorisation Data in TCG TPM.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Rafael Alpízar, Geoffrey Smith 0001	Secure Information Flow for Distributed Systems.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Jonathan Heusser, Pasquale Malacaria	Applied Quantitative Information Flow and Statistical Databases.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny	Probable Innocence in the Presence of Independent Knowledge.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
23	Rob Verhoeven, Francien Dechesne	Verifying Multi-party Authentication Using Rank Functions and PVS.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Gérard Boudol	Secure Information Flow as a Safety Property.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Heiko Mantel, Henning Sudbrock	Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Dominic Duggan, Ye Wu 0006	Causality and Accountability.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Elie Bursztein	Extending Anticipation Games with Location, Penalty and Timeline.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Wiebren de Jonge, Bart Jacobs 0001	Privacy-Friendly Electronic Traffic Pricing via Commits.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck	Access Control and Information Flow in Transactional Memory.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Simone Frau, Roberto Gorrieri, Carlo Ferigato	Petri Net Security Checker: Structural Non-interference at Work.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Elsa L. Gunter, Ayesha Yasmeen	Secure Broadcast Ambients.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	Ambient calculi, security, broadcast, bisimulations, process calculi, congruence
23	James Heather, David Lundin	The Append-Only Web Bulletin Board.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Isaac Agudo, M. Carmen Fernández Gago, Javier López 0001	Delegating Privileges over Finite Resources: A Quota Based Delegation Approach.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Daniel Le Métayer	A Formal Privacy Management Framework.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Jan Friso Groote, Simona Orzan	Parameterised Anonymity.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Francis Klay, Laurent Vigneron	Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	AVISPA Tool, authentication, fairness, Cryptographic protocols, non-repudiation, automatic analysis
23	David Clark 0001, Sebastian Hunt	Non-Interference for Deterministic Interactive Programs.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin	Formal Certification of ElGamal Encryption.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
23	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.)	Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers	Formal Aspects in Security and Trust	2007	DBLP DOI BibTeX RDF
23	Ljiljana Brankovic, Md Zahidul Islam 0001, Helen Giggins	Privacy-Preserving Data Mining.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Willem Jonker	An Introduction to Digital Rights Management Systems.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Jan Camenisch, Birgit Pfitzmann	Federated Identity Management.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Emile H. L. Aarts, Panos Markopoulos 0001, Boris E. R. de Ruyter	The Persuasiveness of Ambient Intelligence.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Milan Petkovic, Claudine Conrado, Geert Jan Schrijen, Willem Jonker	Enhancing Privacy for Digital Rights Management.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Daniel Olmedilla	Security and Privacy on the Semantic Web.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Pim Tuyls, Boris Skoric	Strong Authentication with Physical Unclonable Functions.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Paul Koster	Person-Based and Domain-Based Digital Rights Management.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Ljiljana Brankovic, Helen Giggins	Statistical Database Security.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Joop Talstra	Copy Protection Systems.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Klaus Kursawe	Trusted Platforms.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Pim Tuyls, Tom A. M. Kevenaar	Private Person Authentication in an Ambient World.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Hong Li, Milan Petkovic	DRM for Protecting Personal Content.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Frank Kamperman	Digital Rights Management Interoperability.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Jeroen Terstegge	Privacy in the Law.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Sylvia L. Osborn	Role-Based Access Control.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Claudia Díaz, Bart Preneel	Accountable Anonymous Communication.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Milan Petkovic, Willem Jonker	Privacy and Security Issues in a Digital World.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Elisa Bertino, Ji-Won Byun, Ashish Kamra	Database Security.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Morton Swimmer	Malicious Software in Ubiquitous Computing.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Michiel van der Veen, Aweke N. Lemma, Mehmet Utku Celik, Stefan Katzenbeisser 0001	Forensic Watermarking in Digital Rights Management.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Berry Schoenmakers, Pim Tuyls	Client-Server Trade-Offs in Secure Computation.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Claudio A. Ardagna, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati	XML Security.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Philip Brey	Ethical Aspects of Information Security and Privacy.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Marnix Dekker, Sandro Etalle, Jerry den Hartog	Privacy Policies.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Richard Brinkman	Different Search Strategies on Encrypted Data Compared.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati	Authorization and Access Control.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Marc Langheinrich	RFID and Privacy.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
23	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.)	Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF