Computer security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 9, 1994 : proceedings

This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994. The 26 papers presented in the book in revised versions were carefully selected from a total of 79 submissions; they cover many current aspects of computer...

詳細記述

保存先:
書誌詳細
団体著者: European Symposium on Research in Computer Security :Brighton
その他の著者: Gollmann, Dieter, 1955- (出版デイレクター)
フォーマット: Livre numérique
言語:Anglais
出版事項: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
シリーズ:Lecture notes in computer science 875
主題:
オンライン・アクセス:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
注記: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Computer security, ESORICS 94, third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994, proceedings, Dieter Gollmann, ed, 1994, Berlin, Springer-Verlag, 1 vol. (XI-468 p.), Lecture notes in computer science, 0-387-58618-0
• Computer Security - ESORICS 94, Texte imprimé, 9783662203903
LEADER 04716nam a22004217a 4500
001 944426
008 110927q2000 xxe ||| |||| 00| 0 eng d
009 PPN155187783
020 |a 9783540490340 (PDF) 
041 0 |a eng 
082 |a 004 
082 |a 005.8 
111 2 |a European Symposium on Research in Computer Security  |n (03  |d  :1994  |c  :Brighton). 
245 1 0 |a Computer security - ESORICS 94 :  |b Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 9, 1994 : proceedings   |c [edited by] Dieter Gollmann. 
260 |a Berlin [etc.] :  |b Springer. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture notes in computer science  |v 875  |x 1611-3349 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 0 |a Valuation of trust in open networks -- Security versus performance requirements in data communication systems -- Non-interference through determinism -- Compile-time detection of information flow in sequential programs -- Security through type analysis -- Designing secure key exchange protocols -- Robust and secure password and key change method -- Beacon based authentication -- Authentication via multi-service tickets in the Kuperee server -- Oblivious signatures -- A calculus for secure channel establishment in open networks -- On strengthening authentication protocols to foil cryptanalysis -- An efficient electronic payment system protecting privacy -- The ESPRIT project CAFE High security digital payment systems -- Liability and computer security: Nine principles -- Implementing secure dependencies over a network by designing a distributed security subsystem -- A secure medium access control protocol: Security versus performances -- Distributed file system over a multilevel secure architecture problems and solutions -- On the expressive power of the unary transformation model -- Privilege graph: An extension to the typed access matrix model -- A consideration of the modes of operation for secure systems -- Mark-and-sweep garbage collection in multilevel secure object-oriented database systems -- Decomposition of multilevel objects in an object-oriented database -- Supporting object-based high-assurance write-up in multilevel databases for the replicated architecture -- Aggregation in relational databases: Controlled disclosure of sensitive information -- Information flow controls vs inference controls: An integrated approach. 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994. The 26 papers presented in the book in revised versions were carefully selected from a total of 79 submissions; they cover many current aspects of computer security research and advanced applications. The papers are grouped in sections on high security assurance software, key management, authentication, digital payment, distributed systems, access control, databases, and measures. 
650 |a Informatique 
650 |a Systèmes d'exploitation (ordinateurs) 
650 |a Systèmes informatiques  |x Mesures de sûreté 
650 |a Chiffrement (informatique) 
650 |a Réseaux d'ordinateurs 
650 |a Actes de congrès 
700 1 |a Gollmann, Dieter,  |d 1955-  |4 pbd 
776 0 |0 022085203  |t Computer security  |o ESORICS 94  |o third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994  |o proceedings  |f Dieter Gollmann, ed  |d 1994  |c Berlin  |n Springer-Verlag  |p 1 vol. (XI-468 p.)  |s Lecture notes in computer science  |z 0-387-58618-0 
776 0 |t Computer Security - ESORICS 94  |b Texte imprimé  |z 9783662203903 
856 4 |q PDF  |u https://doi.org/10.1007/3-540-58618-0  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MG47DVT3-S  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747919747  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58618-0  |z Accès Université d'Orléans 
856 4 |5 180339901:750932287  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58618-0  |z Accès INSA CVL 
997 |0 944426  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/