Selezione da: 1 a: 22    Documento accesso libero  Riservato  Protetto

	cnr.iat/2001-TR-013	Soft Constraint Programming to Analysing Security Protocols
	cnr.iat/2001-TR-016	ListServ: una guida per l'utente
	cnr.iat/2001-TR-017	ListServ: una guida per l'owner
	cnr.iat/2001-TR-019	About compositional analysis of pi-calculus processes
	cnr.iat/2001-TR-01	Syncronized Multimedia Integration Language (SMIL) 1.0: Specifiche W3C Recommendation 15 giugno 1998. Traduzione e note
	cnr.iat/2001-TR-020	Encoding several security properties as properties of the intruder's knowledge
	cnr.iat/2001-TR-022	Automatic management of temporary web pages
	cnr.iat/2001-TR-02	Ipotesi di una realizzazione di una Certification Authority per l'Area della Ricerca di Pisa
	cnr.iat/2001-TR-03	L'uso della firma digitale nella Registration Authority Italiana: Risultati della seconda fase della sperimentazione
	cnr.iat/2001-TR-04	Infrastrutture a chiave pubblica e protocolli di sicurezza
	cnr.iat/2001-TR-05	La famiglia dei linguaggi XHTML (con traduzioni italiane delle raccomandazioni)
	cnr.iat/2001-TR-06	Analysis of Security Protocols as Open Systems
	cnr.iat/2000-TR-001	Rete GARR-B: Piano di routing IP multicast
	cnr.iat/2000-TR-002	EXPLORATION OF THE DESIGN OF A COMPLEX E-MAIL SYSTEM
	cnr.iat/2000-TR-003	INTRODUCING TRANSPARENT WEB CACHING IN A LOCAL AREA NETWORK
	cnr.iat/2000-TR-023	Progetto per la gestione della pubblicazione dei dati nel sito Web del CNR
	cnr.iat/1999-TR-001	Una proposta per il servizio di Posta Elettronica del CNR
	cnr.iat/1999-TR-002	Procedure per l'aggiornamento automatico di liste di distribuzione
	cnr.iat/1998-TR-001	Extensible Markup Language (XML) 1.0 (italian version)
	cnr.iat/1998-TR-002	La assegnazione dei nomi a dominio su Internet (prima edizione)
	cnr.iat/1998-TR-003	La assegnazione dei nomi a dominio su Internet (seconda edizione)
	cnr.iat/1998-TR-004	Development of research networking in Africa: the point of view of the RINAF technical support unit established in Pisa