Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sec...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science
1895 |
| विषय: | |
| ऑनलाइन पहुंच: | 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 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, proceedings, Frédéric Cuppens ... [et al.] (eds.), 2000, New York, Springer, 1 vol. (VIII-323 p.), Lecture notes in computer science, 3-540-41031-7 • Computer Security - ESORICS 2000, Texte imprimé, 9783662201756 |
| LEADER | 04387nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 973181 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236601 | ||
| 020 | |a 9783540452997 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European Symposium on Research in Computer Security |n (06 |d :2000 |c :Toulouse). | |
| 245 | 1 | 0 | |a Computer security - ESORICS 2000 : |b 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings |c [edited by] Frédéric Cuppens, Yves Deswarte, Dieter Gollmann... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1895 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Personal Devices and Smart Cards -- Checking Secure Interactions of Smart Card Applets -- Verification of a Formal Security Model for Multiapplicative Smart Cards -- How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications -- Electronic Commerce Protocols -- Secure Anonymous Signature-Based Transactions -- Metering Schemes for General Access Structures -- Access Control -- A Typed Access Control Model for CORBA -- Safety Analysis of the Dynamic-Typed Access Matrix Model -- A Formal Model for Role-Based Access Control Using Graph Transformation -- Protocol Verification -- A Formal Semantics for SPKI -- Formal Verification of Cardholder Registration in SET -- Automating Data Independence -- Internet Security -- Finding a Connection Chain for Tracing Intruders -- A Full Bandwidth ATM Firewall -- Security Property Analysis -- Analysing Time Dependent Security Properties in CSP Using PVS -- Unwinding Possibilistic Security Properties -- Authentication and Confidentiality via IPsec -- Mobile Agents -- A Security Framework for a Mobile Agent System -- A Distributed Access Control Model for Java -- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. | |
| 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 his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents. | ||
| 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 | |
| 700 | 1 | |a Deswarte, Yves, |d 19..- |4 pbd | |
| 700 | 1 | |a Cuppens, Frédéric, |d 1962- |4 pbd | |
| 776 | 0 | |0 052362175 |t Computer security, ESORICS 2000 |o 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 |o proceedings |f Frédéric Cuppens ... [et al.] (eds.) |d 2000 |c New York |n Springer |p 1 vol. (VIII-323 p.) |s Lecture notes in computer science |z 3-540-41031-7 | |
| 776 | 0 | |t Computer Security - ESORICS 2000 |b Texte imprimé |z 9783662201756 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/10722599 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6VT53VNG-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750600241 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/10722599 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75396094X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/10722599 |z Accès INSA CVL | |
| 997 | |0 973181 |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/ | ||