Navigation

Sentinels

General info

House style

Library

Sentinels research

Links

Projects

Related programs

Workshops

Search site

Contact info

Sentinels Program Office, Technology Foundation STW (details).

node53.html

Bibliography

Up: sentinels-030827 Previous: Professional activities of SENTINELS Contents

Bibliography

1

M. Abadi and R. Needham.
Prudent engineering practice for cryptographic protocols.
IEEE Transactions on Software Engineering, 22(1):6-15, Jan 1996.

2

R. J. Anderson.
Security Engineering: A guide to building dependable distributed systems.
John Wiley & Sons Inc, New York, 2001.

3

R. J. Anderson and M. G. Kuhn.
Low cost attacks on tamper resistant devices.
In M. Lomas and B. Christianson, editors, Security protocols: 5th Int. Workshop, volume LNCS 1361, pages 125-136, Paris, France, Apr 1997. Springer-Verlag, Berlin.
http://www.cl.cam.ac.uk/Research/Security/tamper.

4

F. Bao, R. H. Deng, Y. Han, A. Jeng, A. D. Narasimhalu, and T. Ngair.
Breaking public key cryptosystems on tamper resistant devices in the presence of transient faults.
In B. Christianson, editor, Security protocols: 5th Int. Workshop, volume LNCS 1361, pages 115-124, Paris, France, Apr 1997. Springer-Verlag, Berlin.

5

G. Bella, F. Massacci, L. C. Paulson, and P. Tramontano.
Formal verification of cardholder registration in SET.
In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Waidner, editors, 6th European Symp. on Research in Computer Security (ESORICS), volume LNCS 1895, pages 159-174, Toulouse, France, Oct 2000. Springer-Verlag, Berlin.

6

E. Biham and A. Shamir.
Differential fault analysis of secret key cryptosystems.
In B. S. Kaliski Jr., editor, 17th Advances in Cryptology - CRYPTO '97, volume LNCS 1294, pages 513-525, Santa Barbara, California, Aug 1997. Springer-Verlag, Berlin.

7

D. Boneh, R. A. DeMillo, and R. J. Lipton.
On the importance of checking cryptographic protocols for faults (extended abstract).
In W. Fumy, editor, Advances in Crytology - EUROCRYPT '97, volume LNCS 1233, pages 37-51, Konstanz, Germany, May 1997. Springer-Verlag, Berlin.

8

M. Burrows, M. Abadi, and R. Needham.
A logic of authentication.
Proceedings of the Royal Society of London A, 426(1871):233-271, Dec 1989.

9

M. Caminada, A. van Zanten, R. P. van de Riet, and L. van Doorn.
Internet security incidents, a survey within Dutch organisations.
In WebNet World Conf., Orlando, Florida, Nov 1998. Association for the Advancement of Computing in Education, Norfolk, Virginia.

10

G. Chaddoud, I. Chrisment, and A. Schaff.
Secure multicasting survey.
In SEC2000, IFIP World Computer Congress 2000, Bejing, China, Aug 2000. Kluwer Academic Publishers, Boston/Dordrecht/London.

11

European Commission.
A thematic priority for Research and Development under the Specific Programme `Integrating and strengthening the European Research Area' in the community sixth framework programme: 2003-2004 Workprogramme Draft.
Information Society Technologies, Sep 2002.

12

DDSI Consortium.
R&D Strategy Roadmap for Information Infrastructure Dependability.
Rand Europe, Nov 2002.
http://www.ddsi.org/Documents/final docs/DDSI_D5_RD_Roadmap_f.pdf.

13

B. Cucinelli (Ed.).
Research for the smart card of 2010.
Report of the consultation meeting held in brussels on 23 may 2001 in preparation of fp6, European Commission, DG Information Society, Jul 2001.
http://www.cordis.lu/ist/ka2/smartcards.html.

14

F. B. Schneider (ed.).
Trust in Cyberspace.
National Academy Press, Washinton, Jan 1999.

15

Ernst & Young.
Global Information Security Survey.
Ernst & Young Assurance and Advisory Business services, 2003.
http://www.ey.com/global/download.nsf/International/TSRS_-_Global_Information_Security_Survey_2003/$file/TSRS_-_Global_Information_Security_Survey_2003.pdf.

16

A. Garg, J. Curtis, and H. Halper.
The financial impact of IT security breaches: What do investors think?
Information Systems Security, 12(1):22-33, Mar 2003.
http://www.auerbach-publications.com/eJournals/articles/article_synopsis.asp?id=41478.

17

D. Gollmann.
Computer Security.
John Wiley & Sons, Chichester, UK, 1999.

18

IST Advisory Group.
Trust, dependability, security and privacy for IST in FP6.
European Commission, 2002.
ftp://ftp.cordis.lu/pub/ist/docs/istag_kk4402464encfull.pdf.

19

P. Gutmann.
Secure deletion of data from magnetic and Solid-State memory.
In 6th Int. USENIX Security Symp. Focusing on Applications of Cryptography, pages 77-89, San Jose, California, Jul 1996. Usenix Association, Berkely, California.

20

R. Helsby and A. Kaizer.
PwC Global Economic Crime Survey.
Price Waterhouse Coopers, 2003.
http://www.pwc.com/crimesurvey.

21

ICT-Forum.
Innoveren door ICT, visie ICT-forum, 2003.
In Dutch. http://www.ictforum.nl/docs/03ICT022-Innoveren-door-ICT.pdf.

22

Computer Security Institute.
Eighth annual computer crime and security survey, 2003.
http://www.gocsi.com/db_area/pdfs/fbi/FBI2003.pdf.

23

P. C. Kocher.
Timing attacks on implementations of Diffie-Hellman, RSA, DSS and other systems.
In N. Koblitz, editor, 16th Advances in Cryptology - CRYPTO '96, volume LNCS 1109, pages 104-113, Santa Barbara, California, Aug 1996. Springer-Verlag, Berlin.

24

M. G. Kuhn.
Cipher instruction search attack on the Bus-Encryption security microcontroller DS5002FP.
IEEE Transactions on Computers, 47(10):1153-1157, Oct 1998.
http://www.cl.cam.ac.uk/Research/Security/tamper.

25

C. le Pair (ed.).
Samen, strategische en sterker.
Rapport, Task Force ICT-en-Kennis, Lange Voorhout 7, 2514 EA Den Haag, Jul 2001.
In Dutch.

26

G. Lowe.
Breaking and fixing the Needham-Schroeder Public-Key protocol using FDR.
Software Concepts and Tools, 17:93-102, 1996.

27

G. Lowe.
Towards a completeness result for model checking of security protocols.
Journal of Computer Security, 7(2-3):89-146, 1999.

28

KPMG Information Risk Management.
Monitor Internetbeveiliging 2003.
Ministerie van Economische Zaken, 2003.
In Dutch. http://ez.nl/beleid/home_ond/dgtp/veiligheid/documenten/EZ.Monitor.pdf.

29

B. May and M. Singer.
Unchained melody - the digitization of music has industry execs in a twist.
The McKinsey Quarterly, 2001(1):128-137, 2001.

30

L. C. Paulson.
Inductive analysis of the Internet protocol TLS.
ACM Transactions on Computer and System Security, 2(3):332-351, 1999.

31

C. Potter, G. Smith, and P. Neville-Jones.
DTI/PwC Information Security Breaches Survey.
Dept. of Trade and Industry, UK, Apr 2002.
http://www.security-survey.gov.uk.

32

P. Ryan and S. Schneider.
Modeling and Analysis of Security Protocols: The CSP approach.
Addison Wesley, Harlow, England, 2001.

33

M. Saaltink.
The Z/EVES system.
In J. Bowen, M. Hinchey, and D. Till, editors, 10th of Z Users: The Z Formal Specification Notation (ZUM), volume LNCS 1212, pages 72-85, Reading, UK, Apr 1997. Springer-Verlag, Berlin.
http://www.cs.reading.ac.uk/zum97.

34

B. Schneier.
Applied cryptography.
John Wiley & Sons, Chichester, UK, second edition, 1996.

35

B. Schneier.
Insurance and the computer industry.
Communications ACM, 44(3):114-115, Mar 2001.

36

F. Stajano and R. J. Anderson.
The resurrecting duckling: Security issues for ad-hoc wireless networks.
In 7th Int. Workshop on Security Protocols, volume LNCS 1796, pages 172-182, Cambridge, UK, Apr 1999. Springer-Verlag, Berlin, Germany.
http://www.cl.ac.uk/~fms27/duckling/duckling.htm.

37

Stratix and TNO-FEL.
Samen werken voor veilig Internet verkeer: Een e-Deltaplan; eindrapport van het onderzoekproject "kwetsbaarheid van het Internet".
Publication no 2001.503, TNO Fysisch en Elektronisch Laboratorium, Telecommunicatie en Beveiliging, Jan 2001.
In Dutch.

38

Technologiestichting STW.
Richtlijnen open technologieprogramma, 2000.
Number: STW-2000 11 27-02. In Dutch. http://www.stw.nl/stw/richtlijnen/richtlijnen.pdf.

39

J.-P. van Best and W. G. Vree.
Locality of Internet connections.
In 12th Annual INET Conf: Internet Crossroads (INET), pages electronic edition, Technology track 6, paper b, Arlington Virginia, Jun 2002.
http://inet2002.org/CD-ROM/lu65rw2n/papers/t06-b.pdf.

40

T. van der Putte and J. Keuning.
Biometrical fingerprint recognition: Don't get your fingers burned.
In J. Domingo-Ferrer, D. Chan, and A. Watson, editors, 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), pages 289-303, Bristol, UK, Sep 2000. Kluwer Academic Publishers, Boston/Dordrecht/London.

41

H. C. A. van Tilborg.
Fundamentals of Cryptology: A professional reference and interactive tutorial.
Kluwer Academic Publishers, Boston, 2000.

42

Ministerie van Verkeer en Waterstaat and Ministerie van Economische Zaken.
Kwetsbaarheid op internet.
Technical report, Ministerie van Verkeer en Waterstaat, Jun 2001.
In Dutch. http://www.dgtp.nl.

43

W. G. Vree.
Internet en rijkswaterstaat: een ICT-infrastructuur langs water en wegen.
Inaugural lecture, Technische Universiteit Delft, Jan 2003.
In Dutch. http://www.tbm.tudelft.nl/webstaf/wimvr/oratie.html.

44

S. H. Weingart.
Physical security for the muABYSS system.
In Symp. on Security and Privacy, pages 52-58, Oakland, California, Apr 1987. IEEE Computer Society Press, Los Alamitos, California.

45

S. R. White and L. Comerford.
ABYSS: a trusted architecture for software protection.
In Symp. on Security and Privacy, pages 38-51, Oakland, California, Apr 1987. IEEE Computer Society Press, Los Alamitos, California.

Up: sentinels-030827 Previous: Professional activities of SENTINELS Contents