El capítol 14 "Seguridad"(pp. 415-444) de "¡Internet! Redes de Computadores y Sistemas de Información" fa un resum del estat actual de la seguretat en Internet. El capítol 18 "Comercio y Negocios en Internet" (pp. 541-572) del mateix llibre tracta sobre les transaccions electròniques en Internet i el diner electrònic.
És precisament al voltant del diner electrònic on vaig dedicar part dels meus esforços durant l'estada professional en Bull España dins de la divisió PTS (Personal Transaction Systems) on em vaig centrar fonamentalment en dos projectes: el moneder electrònic, estudiant el seu recàrregament utilitzant Internet, i el projecte BRISE-III, el primer TPV (Terminal Punt de Venda) amb conexió a Internet.
Com a conseqüència de tot açò, últimament, els meus interessos es centren en el disseny i comprovació de protocols criptogràfics, principalment transaccionals. Encara que s'hagen proposat certes línies generals per a facilitar llur disseny i llur correcció [Abadi i Needham], la millor manera d'assegurar la correcció és mitjançant mètodes formals. D'aquestos el més famòs va ser la BAN logic dels mateixos Abadi, Needham i Burrows.
Arran de la meua estada en el Departamento de Computacioón de la Pontificia Universidad Católica de Chile, Javier Pinto proposà la formalització de protocols criptogràfics utilitzant Càlcul de Situacions, treball que es troba actualmente en la situació que describeix el següent article: Formal Modelling of Cryptographic Protocols in Situation Calculus.
Casualment també hi ha informació sobre pràcticament la mateixa àrea molt a prop d'ací: en la Pàgina sobre Seguretat del ITI , inclús precisament de Crèdit Electrònic.