Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2003
Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H.
(2003)
A Trace Logic for Local Security Properties.
Technical Report TR-CTIT-03-21,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H.
(2003)
A Trace Logic for Local Security Properties.
In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India.
pp. 129-143.
Electronic Notes in Theoretical Computer Science 118.
Elsevier.
ISSN 1571-0661
2002
Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H.
(2002)
Using Trace Formulae for Security Protocol Design.
Technical Report TR-CTIT-02-36,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||