<電子ブック>
Computer Security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings / edited by Dieter Gollmann
(Lecture Notes in Computer Science. ISSN:16113349 ; 875)
版 | 1st ed. 1994. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1994 |
本文言語 | 英語 |
大きさ | XIV, 474 p : online resource |
著者標目 | Gollmann, Dieter editor SpringerLink (Online service) |
件 名 | LCSH:Cryptography LCSH:Data encryption (Computer science) LCSH:Operating systems (Computers) LCSH:Computer networks LCSH:Database management FREE:Cryptology FREE:Operating Systems FREE:Computer Communication Networks FREE:Database Management |
一般注記 | 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 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 HTTP:URL=https://doi.org/10.1007/3-540-58618-0 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540490340 |
|
電子リソース |
|
EB00225497 |