EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: Inspired: Integrated Secure Platform for Interactive Personal Devices
Home Policy Brochure Browse Search User Area Contact Help

2007

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2007) Audit-based compliance control. International Journal of Information Security, 6 (2-3). pp. 133-151. ISSN 1615-5262 *** ISI Impact 1,279 ***
Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2007) Privacy Policies. In: Security, Privacy and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 383-397. ISBN 978-3-540-69860-9

2006

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2006) The Audit Logic: Policy Compliance in Distributed Systems. Technical Report TR-CTIT-06-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and den Hartog, J.I. (2006) A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. In: ICALP 2006 track C, 9-13 Jul 2006, Venice, Italy. pp. 252-263. Lecture Notes in Computer Science 4052. Springer-Verlag. ISBN 3-540-35907-9

2005

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2005) An Audit Logic for Accountability. In: 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005), 6-8 Jun 2005, Stockholm, Sweden. pp. 34-43. IEEE Computer Society. ISBN 0-7695-2265-3
Czenko, M.R. and Tran, H.M. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and den Hartog, J.I. (2005) Nonmonotonic Trust Management for P2P Applications. In: 1st Int. Workshop on Security and Trust Management (STM), Milan, Italy. pp. 113-130. Electronic Notes in Theoretical Computer Science 157. Elsevier Science. ISSN 1571-0661
Etalle, S. and Winsborough, W.H. (2005) Integrity Constraints in Trust Management. Technical Report TR-CTIT-05-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Etalle, S. and Winsborough, W.H. (2005) Integrity Constraints in Trust Management (Extended Abstract). In: 10th ACM Symp. on Access Control Models and Technologies (SACMAT), June 01 - 03, 2005, Stockholm, Sweden. pp. 1-10. ACM Press. ISBN 1-59593-045-0
de Jong, E.K. and Hartel, P.H. and Peyret, P. and Cattaneo, P. (2005) Java Card: An analysis of the most successful smart card operating system. Technical Report TR-CTIT-05-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2004

Corin, R.J. and Etalle, S. and den Hartog, J.I. and Lenzini, G. and Staicu, I.S. (2004) A Logic for Auditing Accountability in Decentralized Systems. In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France. pp. 187-201. Springer-Verlag. ISBN 0-387-24050-0
Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2

2003

Gras, F. and Le Dantec, B. and Trébucq, O. and Cucinelli, B. and Leduc, M. and Simplot, D. and Bueker, U. and Barthe, G. and Michaud, B. and Hartel, P.H. and Thevenot, B. and Moedl, A. and Quisquater, J.-J. and Thomasson, J.-P. and Canto, E., ed. (2003) RESET Roadmap for European research on Smartcard rElated Technologies. Report Type UNSPECIFIED Number UNSPECIFIED

2001

Cucinelli, B., ed. (2001) Research for the Smart Card of 2010. external_report Number UNSPECIFIED European Commission - Information Society Directorate-General, Brussels.