Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 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,094 ***
2004
Cederquist, J.G. and Torabi Dashti, M.
(2004)
Formal Analysis of a Fair Payment Protocol.
In: 2nd International Workshop on Formal Aspect of Security and Trust (FAST), 22-27 Aug 2004, Toulouse, France.
pp. 41-54.
IFIP International Federation for Information Processing 173.
Kluwer Academic Publishers.
ISBN 9780387240503
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
den Hartog, J.I. and de Vink, E.P.
(2004)
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.
In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France.
pp. 85-98.
Kluwer Academic Publishers.
ISBN 0-387-24050-0
This list was generated on Thu May 24 06:03:59 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||