close
1.

図書

図書
Dan Boneh (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2729
所蔵情報: loading…
2.

図書

図書
Roger Dingledine, Paul Syverson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2482
所蔵情報: loading…
3.

図書

図書
Pil Joong Lee, Chae Hoon Lim (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c2003  xi, 536 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2587
所蔵情報: loading…
4.

図書

図書
Fabien A.P. Petitcolas (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2578
所蔵情報: loading…
目次情報: 続きを見る
Information Hiding and Networking / Neil JohnsonSession 1:
Hiding Intrusions: From the Abnormal to the Normal and Beyond / Kymie Tan ; John McHugh ; Kevin Killourhy
Eliminating Steganography in Internet Traffic with Active Wardens / Gina Fisk ; Mike Fisk ; Christos Papadopoulos ; Joshua Neil
Anonymity / Andreas PfitzmannSession 2:
From a Trickle to a Flood: Active Attacks on Several Mix Types / Andrei Serjantov ; Roger Dingledine ; Paul Syverson
Limits of Anonymity in Open Environments / Dogan Kedogan ; Dakshi Agrawal ; Stefan Penz
Chaffinch: Confidentiality in the Face of Legal Threats / Richard Clayton ; George Danezis
Watermarking Fundamentals / Job OostveenSession 3:
Nothing But a Kiss: A Novel and Accurate Approach to Assessing the Performance of Multidimensional Distortion-Compensated Dither Modulation / Fernando Pérez-González ; Félix Balado
Robustness and Efficiency of Non-linear Side-Informed Watermarking / Guénolé C.M. Silvestre ; Neil J. Hurley ; Teddy Furon
Security of Public Watermarking Schemes for Binary Sequences / Qiming Li ; Ee-Chien Chang
Watermarking Algorithms I / Hyoung Joong KimSession 4:
Direct Embedding and Detection of RST Invariant Watermarks / Peter A. Fletcher ; Kieran G. Larkin
Robust Image Watermark Using Radon Transform and Bispectrum Invariants / Hyung-Shin Kim ; Yunju Baek ; Heung-Kyu Lee ; Young-Ho Suh
Audio Watermark Robustness to Desynchronization via Beat Detection / Darko Kirovski ; Hagai Attias
Watermarking Algorithms II / Ton KalkerSession 5:
Robust Watermarking and Affine Registration of 3D Meshes / Oliver Benedens
Natural Language Watermarking and Tamperproofing / Mikhail J. Atallah ; Victor Raskin ; Christian F. Hempelmann ; Mercan Karahan ; Radu Sion ; Umut Topkara ; Katrina E. Triezenberg
Attacks on Watermarking Algorithms / Fabien A. P. PetitcolasSession 6:
Cryptanalysis of UCLA Watermarking Schemes for Intellectual Property Protection / Tri Van Le ; Yvo Desmedt
Cryptanalysis of Discrete-Sequence Spread Spectrum Watermarks / M. Kivanc Mihcak ; Ramarathnam Venkatesan ; Mustafa Kesal
Detectors for Echo Hiding Systems / Scott Craver ; Bede Liu ; Wayne Wolf
Steganography Algorithms / Jessica FridrichSession 7:
A Steganographic Embedding Undetectable by JPEG Compatibility Steganalysis / Richard E. Newman ; Ira S. Moskowitz ; LiWu Chang ; Murali M. Brahmadesam
Steganography Preserving Statistical Properties / Elke Franz
Bit-Plane Decomposition Steganography Combined with JPEG2000 Compression / Hideki Noda ; Jeremiah Spaulding ; Mahdad N. Shirazi ; Michiharu Niimi ; Eiji Kawaguchi
Steganalysis I / Session 8:
Steganalysis of JPEG Images: Breaking the F5 Algorithm / Miroslav Goljan ; Dorin Hogea
Detecting Low Embedding Rates / Andreas Westfeld
Steganalysis II / Session 9:
Detecting Hidden Messages Using Higher-Order Statistics and Support Vector Machines / Siwei Lyu ; Hany Farid
Detection of LSB Steganography via Sample Pair Analysis / Sorina Dumitrescu ; Xiaolin Wu ; Zhe Wang
Hiding Information in Unusual Content I / Christian S. CollbergSession 10:
Hiding Data in DNA / Boris Shimanovsky ; Jessica Feng ; Miodrag Potkonjak
Tracing the Source of a Shredded Document / Jack Brassil
Hiding Information in Unusual Content II / Caroline FontaineSession 11:
Oblivious Hashing: A Stealthy Software Integrity Verification Primitive / Yuqun Chen ; Matthew Cary ; Ruoming Pang ; Saurabh Sinha ; Mariusz H. Jakubowski
Practical Oblivious Transfer Protocols / Christian Tobias
Author Index
Information Hiding and Networking / Neil JohnsonSession 1:
Hiding Intrusions: From the Abnormal to the Normal and Beyond / Kymie Tan ; John McHugh ; Kevin Killourhy
Eliminating Steganography in Internet Traffic with Active Wardens / Gina Fisk ; Mike Fisk ; Christos Papadopoulos ; Joshua Neil
5.

図書

図書
Thomas Johansson, Subhamoy Maitra (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2904
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Linear Complexity and Related Complexity Measures for Sequences / H. Niederreiter
Forensic Computing / X. Li ; J. Seberry
Stream Cipher
Hiji-bij-bij: A New Stream Cipher with a Self-synchronizing Mode of Operation / P. Sarkar
Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator / S. Paul ; B. Preneel
Block Cipher
Nonlinearity Properties of the Mixing Operations of the Block Cipher IDEA / H.M. Yildirim
Impossible Differential Cryptanalysis for Block Cipher Structures / J. Kim ; S. Hong ; J. Sung ; S. Lee ; J. Lim ; S. Sung
Impossible Differential Attack on 30-Round SHACAL-2 / G. Kim ; C. Lee
Boolean Function
Construction of Perfect Nonlinear and Maximally Nonlinear Multi-output Boolean Functions Satisfying Higher Order Strict Avalanche Criteria / K.C. Gupta
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria / S. Kavut ; M.D. Yücel
Secrect Sharing
On Multiplicative Linear Secret Sharing Schemes / V. Nikov ; S. Nikova
A New (2,n)-Visual Threshold Scheme for Color Images / A. Adhikari ; S. Sikdar
On the Power of Computational Secret Sharing / V. Vinod ; A. Narayanan ; K. Srinathan ; C.P. Rangan ; K. Kim
Bilinear Pairing
Identity-Based Broadcasting / Y. Mu ; W. Susilo ; Y.-X. Lin
Efficient Verifiably Encrypted Signature and Partially Blind Signature from Bilinear Pairings / F. Zhang ; R. Safavi-Naini
Extending Joux's Protocol to Multi Party Key Agreement / R. Barua ; R. Dutta
Public Key
Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups / P.J. Abisha ; D.G. Thomas ; K.G. Subramanian
Prime Numbers of Diffie-Hellman Groups for IKE-MODP / I. Yie ; S. Lim ; S. Kim ; D. Kim
Polynomial Equivalence Problems and Applications to Multivariate Cryptosystems / F. Levy-dit-Vehel ; L. Perret
Signature Scheme
Security Analysis of Several Group Signature Schemes / G. Wang
Forking Lemmas for Ring Signature Schemes / J. Herranz ; G. Saez
Protocol
Practical Mental Poker Without a TTP Based on Homomorphic Encryption / J. Castellà-Roca ; J. Domingo-Ferrer ; A. Riera ; J. Borrell
Lightweight Mobile Credit-Card Payment Protocol / S. Kungpisdan ; B. Srinivasan ; P.D. Le
Elliptic Curve & Algebraic Geometry
On the Construction of Prime Order Elliptic Curves / E. Konstantinou ; Y.C. Stamatiou ; C. Zaroliagis
Counting Points on an Abelian Variety over a Finite Field / F.A. Izadi ; V.K. Murty
Implementation & Digital Watermarking
Side Channel Attack on Ha-Moon's Countermeasure of Randomized Signed Scalar Multiplication / K. Okeya ; D.-G. Han
Systolic and Scalable Architectures for Digit-Serial Multiplication in Fields GF(pm) / G. Bertoni ; J. Guajardo ; G. Orlando
Cryptanalysis of Block Based Spatial Domain Watermarking Schemes / T.K. Das
Authentication
More Efficient Password Authenticated Key Exchange Based on RSA / D.S. Wong ; A.H. Chan ; F. Zhu
A Password-Based Authenticator: Security Proof and Applications / Y. Hitchcock ; Y.S.T. Tin ; J.M. Gonzalez-Nieto ; C. Boyd ; P. Montague
Stronger Security Bounds for OMAC, TMAC, and XCBC / T. Iwata ; K. Kurosawa
Progressive Verification: The Case of Message Authentication / M. Fischlin
Author Index
Invited Talks
Linear Complexity and Related Complexity Measures for Sequences / H. Niederreiter
Forensic Computing / X. Li ; J. Seberry
6.

図書

図書
Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2629
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talk
Lifting Reference Monitors from the Kernel / F.B. Schneider
Invited Talks I
Authenticity Types for Cryptographic Protocols / A. Gordon
Verifying the SET Protocol: Overview / L.C. Paulson
Protocol Verification
Interacting State Machines: A Stateful Approach to Proving Security / D. von Oheimb
Automatic Approximation for the Verification of Cryptographic Protocols / F. Oehl ; G. Cece ; O. Kouchnarenko ; D. Sinclair
Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis / C. Boyd ; K. Viswanathan
Invited Talks II
Critical Critical Systems / S. Stepney
Analysing Security Protocols / D. Gollmann
Analysis of Protocols
Analysis of Probabilistic Contract Signing / G. Norman ; V. Shmatikov
Security Analysis of (Un-) Fair Non-repudiation Protocols / S. Gurgens ; C. Rudolph
Modeling Adversaries in a Logic for Security Protocol Analysis / J.Y. Halpern ; R. Pucella
Security Modelling and Reasonning
Secure Self-certified Code for Java / M. Debbabi ; J. Desharnais ; M. Fourati ; E. Menif ; F. Painchaud ; N. Tawbi
Z Styles for Security Properties and Modern User Interfaces / A. Hall
Invited Talks III
Cryptographic Challenges: The Past and the Future / B. Preneel
TAPS: The Last Few Slides / E. Cohen
Intrusion Detection Systems and Liveness
Formal Specification for Fast Automatic IDS Training / A. Durante ; R. Di Pietro ; L.V. Mancini
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area / G.T. Rohrmair ; G. Lowe
Revisiting Liveness Properties in the Context of Secure Systems / F.C. Gartner
Author Index
Keynote Talk
Lifting Reference Monitors from the Kernel / F.B. Schneider
Invited Talks I
7.

図書

図書
Roger Dingledine (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 221 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2760
所蔵情報: loading…
目次情報: 続きを見る
Mix-Networks with Restricted Routes / George Danezis
Generalising Mixes / Claudia D'iaz ; Andrei Serjantov
Modelling Unlinkability / Sandra Steinbrecher ; Stefan Kopsell
Metrics for Traffic Analysis Prevention / Richard E. Newman ; Ira S. Moskowitz ; Paul Syverson
Breaking and Mending Resilient Mix-Nets / Lan Nguyen ; Rei Safavi-Naini
Improving Onion Notation / Richard Clayton
Engineering Privacy in Public: Confounding Face Recognition / James Alexander ; Jonathan Smith
From Privacy Legislation to Interface Design: Implementing Information Privacy in Human-Computer Interactions / Andrew S. Patrick ; Steve Kenny
Thwarting Web Censorship with Untrusted Messenger Discovery / Nick Feamster ; Magdalena Balazinska ; Winston Wang ; Hari Balakrishnan ; David Karger
gap - Practical Anonymous Networking / Krista Bennett ; Christian Grothoff
An Analysis of GNUnet and the Implications for Anonymous, Censorship-Resistant Networks / Dennis Kügler
A Component Architecture for Dynamically Managing Privacy Constraints in Personalized Web-Based Systems / Alfred Kobsa
Privacy in Enterprise Identity Federation - Policies for Liberty Single Signon / Birgit Pfitzmann
From P3P to Data Licenses / Shi-Cho Cha ; Yuh-Jzer Joung
Author Index
Mix-Networks with Restricted Routes / George Danezis
Generalising Mixes / Claudia D'iaz ; Andrei Serjantov
Modelling Unlinkability / Sandra Steinbrecher ; Stefan Kopsell
8.

図書

図書
sponsored by DARPA
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  2 vol. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Papers by Program Order / Volume I:
Composable High Assurance Trusted Systems (CHATS)
Design and Implementation of the TrustedBSD MAC Framework / R. Watson ; B. Feldman ; A. Migus ; C. Vance
Defcon Capture the Flag: Defending Vulnerable Code from Intense Attack / C. Cowan ; S. Arnold ; S. Beattie ; C. Wright ; J. Viega
Cyber Panel
Finding the Vocabulary of Program Behavior Data for Anomaly Detection / C. Michael
Detecting Spoofed Packets / S. Templeton ; K. Levitt
Modeling Multistep Cyber Attacks for Scenario Recognition / S. Cheung ; U. Lindqvist ; M. Fong
Cooperative Response Strategies for Large Scale Attack Mitigation / D. Nojiri ; J. Rowe
Dynamic Coalitions (DC)
Dynamic Authorization and Intrusion Response in Distributed Systems / T. Ryutov ; C. Neuman ; D. Kim
The STRONGMAN Architecture / A. Keromytis ; S. Ioannidis ; M. Greenwald ; J. Smithy
Dynamic PKI and Secure Tuplespaces for Distributed Coalitions / T. Smith ; G. Byrd ; X. Wu ; H. Xin ; K. Thangavelu ; R. Wang ; A. Shah
RT: A Role-Based Trust-Management Framework / N. Li ; J. Mitchell
Scaling Secure Group Communication Systems: Beyond Peer-to-Peer / Y. Amir ; C. Nita-Rotaru ; J. Stanton ; G. Tsudik
MuCAPSL / J. Millen ; G. Denker
Leader Election Algorithms for Wireless Ad Hoc Networks / S. Vasudevan ; B. DeCleene ; N. Immerman ; J. Kurose ; D. Towsley
Fault Tolerant Networking (FTN)
COSSACK: Coordinated Suppression of Simultaneous Attacks / C. Papadopoulos ; R. Lindell ; J. Mehringer ; A. Hussain ; R. Govindan
NetBouncer: Client-Legitimacy-Based High-Performance DDoS Filtering / R. Thomas ; B. Mark ; T. Johnson ; J. Croall
Analyzing Interaction between Distributed Denial of Service Attacks and Mitigation Technologies / W. Blackert ; D. Gregg ; A. Castner ; E. Kyle ; R. Hom ; R. Jokerst
Design and Analysis of an IP-Layer Anonymizing Infrastructure / H. Kung ; C. Cheng ; K. Tan ; S. Bradner
Prophylactic, Treatment and Containment Techniques for Ensuring Active Network Security / S. Murphy ; A. Hayatnagarkar ; S. Krishnaswamy ; W. Morrison
Understanding BGP Behavior through a Study of DoD Prefixes / X. Zhao ; D. Massey ; S. Wu ; M. Lad ; D. Pei ; L. Wang ; L. Zhang
Efficient Alarm Management in Optical Networks / S. Stanic ; S. Subramaniam ; H. Choi ; G. Sahin
Interactions Between TCP and the IEEE 802.11 MAC Protocol / R. Jiang ; V. Gupta ; C. Ravishankar
Statistical Approaches to DDoS Attack Detection and Response / L. Feinstein ; D. Schnackenberg ; R. Balupari ; D. Kindred
Organic and Survivable Information Systems (OASIS)
Towards a Rigorous Definition of Information System Survivability / J. Knight ; E. Strunk ; K. Sullivan
Intrusion Tolerance via Network Layer Controls / D. O'Brien ; R. Smith ; T. Kappel ; C. Bitzer
Operational Experimentation (OPX)
Lessons Learned in Using Live Red Teams in IA Experiments / D. Levin
Surveillance Detection in High Bandwidth Environments / S. Robertson ; E. Siegel ; M. Miller ; S. Stolfo
Detecting Novel Scans through Pattern Anomaly Detection / A. Valdes
Author Index
DARPA Information Survivability Conference and Exposition--DISCEX 2003 / Volume II:
Foreword
Acknowledgments
Demonstration Abstracts / Part I:
Open-Source PKI on SELinux--A Technology Description / E. Bubnis ; S. Evans ; P. Fischer ; E. Meighan ; A. Almeida
Demonstration of COSAK Static Analysis Tools / D. DaCosta ; C. Dahn ; S. Mancoridis ; V. Prevelakis
MYSEA Technology Demonstration / C. Irvine ; D. Shifflett ; P. Clark ; T. Levin ; G. Dinolt
The TrustedBSD MAC Framework
Visualization as an Aid for Assessing the Mission Impact of Information Security Breaches / A. D'Amico ; S. Salas
A Controller-Based Autonomic Defense System / D. Armstrong ; S. Carter ; G. Frazier ; T. Frazier
Scyllarus Intrusion Detection Report Correlator and Analyzer / W. Heimerdinger
System Health and Intrusion Monitoring: Technology Description / C. Ko
CIRCADIA Demonstration: Active Adaptive Defense / D. Musliner
An Integrated Cyber Panel System / L. Tinnel ; O. Saydjari ; J. Haines
Intelligence Preparation of the Information Battlespace (IPIB) / J. Williams
Integrated Security Services for Dynamic Coalitions / H. Khurana ; S. Gavrila ; R. Bobba ; R. Koleva ; A. Sonalker ; E. Dinu ; V. Gligor ; J. Baras
Key Management for Secure Multicast Group Communication in Mobile Networks / T. Kostas ; D. Kiwior ; G. Rajappan ; M. Dalal
Antigone: Policy-Based Secure Group Communication System and AmirD: Antigone-Based Secure File Mirroring System / J. Irrer ; A. Prakash ; P. McDaniel
Federated Security Management for Dynamic Coalitions / S. Bhatt ; S. Rajagopalan ; P. Rao
TrustBuilder: Negotiating Trust in Dynamic Coalitions / K. Seamons ; T. Chan ; E. Child ; M. Halcrow ; A. Hess ; J. Holt ; J. Jacobson ; R. Jarvis ; A. Patty ; B. Smith ; T. Sundelin ; L. Yu
Yalta: A Dynamic PKI and Secure Tuplespaces for Distributed Coalitions
A Toolkit for Building Secure, Fault-Tolerant Virtual Private Networks / W. Stephens ; B. Coan ; S. Narain ; V. Kaul ; K. Parmeswaran ; T. Cheng
Distributed Data Authentication / M. Goodrich ; M. Shin ; C. Straub ; R. Tamassia
Automated Trust Negotiation Technology with Attribute-Based Access Control / W. Winsborough ; J. Jacobs
Fault Tolerant Networks (FTN)
The Wackamole Approach to Fault Tolerant Networks / R. Caudy ; A. Munjal ; T. Schlossnagle ; C. Tutu
Distributed Denial of Service Defense Attack Tradeoff Analysis (DDOS-DATA)
NCAC: Network Congestion Analyzer and Controller
DDoS Tolerant Networks
Guaranteed Internet Stack Utilization (GINSU) Building Blocks / R. Knobbe ; A. Purtell
ANON: An IP-Layer Anonymizing Infrastructure
Distributed Embedded Firewalls with Virtual Private Groups / T. Markham ; L. Meredith ; C. Payne
Fault-Tolerant Mesh of Trust Applied to DNS Security / W. Griffin ; R. Mundy ; S. Weiler ; N. Vora
Demonstration of Fault Tolerance for CORBA Applications / L. Moser ; M. Melliar-Smith
Dynamic Trust-Based Resource Allocation / T. Hughes ; M. Junod ; P. Muckelbauer
Active Network Fault Response
Scalable DDoS Protection Using Route-Based Filtering / K. Park
Techniques for Intrusion-Resistant Ad Hoc Routing Algorithms (TIARA) / R. Ramanujan ; S. Kudige ; T. Nguyen
DefCOM: Defensive Cooperative Overlay Mesh / M. Robinson ; J. Mirkovic ; S. Michel ; M. Schnaider ; P. Reiher
Improving Failure Responsiveness in Jini Leasing / S. Rose ; K. Bowers ; S. Quirolgico ; K. Mills
SPIE Demonstration: Single Packet Traceback / W. Strayer ; C. Jones ; F. Tchakountio ; A. Snoeren ; B. Schwartz ; R. Clements ; M. Condell ; C. Partridge
Onion Routing for Resistance to Traffic Analysis / P. Syverson
TetherNet Anti-NAT--Secure Internet Subnet Rental System / H. Zhu ; T. Huck ; J. Touch ; L. Eggert ; Y. Wang
Organically Assured and Survivable Information Systems (OASIS)
Safe Email, Safe Office, and Safe Web Browser / R. Balzer
Access Control on the Web Using Proof-Carrying Authorization / L. Bauer ; M. Schneider ; E. Felten ; A. Appel
Enterprise Wrappers for Information Assurance / M. Feldman
Willow System Demonstration / J. Hill ; P. Varner ; A. Wolf ; D. Heimbigner ; P. Devanbu
Camouflage of Network Traffic to Resist Attack (CONTRA) / W. Weinstein ; J. Lepanto
Dependable Intrusion Tolerance: Technology Demo / M. Almgren ; Y. Deswarte ; B. Dutertre ; J. Levy ; H. Saidi ; V. Stavridou ; T. Uribe
ITDB: An Attack Self-Healing Database System Prototype / P. Liu
Intrustion Tolerant Web Servers via Network Layer Controls
Demonstrating Intrusion Tolerance with ITUA / P. Pal
VPNshield: Protecting VPN Services from Denial-of-Service (DoS) Attacks / M. Kaddoura ; J. Wu ; C. Sanders ; K. Millikin
On-Line Attack Prevention and Continual Recovery / J. Reynolds
An Aspect-Oriented Security Solution / V. Shah ; F. Hill
OmniVPN / J. Shukla
Efficient Code Certification for Open Firmware / M. Stillerman ; D. Kozen
Intrusion Tolerant Distributed Object Systems / G. Tally ; B. Whitmore ; D. Sames ; B. Matt ; B. Niebuhr ; D. Bakken
SPMA--Java Binary Enhancement Tool / T. Van Vleck ; A. Reisse
SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services / F. Wang ; R. Uppalli
System Detection's Hawkeye Platform
Research Summaries / Part II:
Modeling Security-Enhanced Linux Policy Specifications for Analysis / M. Archer ; E. Leonard ; M. Pradella
Open-Source PKI on SELinux
Monterey Security Enhanced Architecture Project
Achieving Principled Assuredly Trustworthy Composable Systems and Networks / P. Neumann
Enhancing ReiserFS Security in Linux / H. Reiser
LLSIM: Network Simulation for Correlation and Response Testing / S. Goulet ; R. Durst ; T. Champion
System Health and Intrusion Monitoring (SHIM): Project Summary
Predicting the Impact of Cyber-Attacks on BMC[subscript 3] Enterprises / J. Shaw
A Framework for Automated Negotiation of Access Control Policies / V. Bharadwaj
Recommendations in Using Group Key Management Algorithms / W. Chen ; L. Dondeti
DyCER: A Lightweight Data Sharing System Using Replication / J. Kay ; S. Crocker
A Flexible Architecture for Security Policy Enforcement
Trust Negotiation in Dynamic Coalitions / M. Winslett ; T. Yu
Efficient and Scalable Infrastructure Support for Dynamic Coalitions
Automated Trust Negotiation in Attribute-Based Access Control
A Summary of the Autonomic Distributed Firewalls (ADF) Project
Traceback of Single IP Packets Using SPIE
DynaBone: Dynamic Defense Using Multi-Layer Internet Overlays / G. Finn
A Summary of Detection of Denial-of-QoS Attacks on DiffServ Networks / V. Mahadik ; D. Reeves
Engineering a Distributed Intrusion Tolerant Database System Using COTS Components
EMT/MET: Systems for Modeling and Detecting Errant Email / S. Hershkop ; K. Wang ; O. Nimeskern
Papers by Program Order / Volume I:
Composable High Assurance Trusted Systems (CHATS)
Design and Implementation of the TrustedBSD MAC Framework / R. Watson ; B. Feldman ; A. Migus ; C. Vance
9.

図書

図書
Vladimir Gorodetsky, Leonard Popyack, Victor Skormin (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 470 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2776
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
ForNet: A Distributed Forensics Network / K. Shanmugasundaram ; N. Memon ; A. Savant ; H. Bronnimann
Usage Control: A Vision for Next Generation Access Control / R. Sandhu ; J. Park
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL / T. Kosiyatrakul ; S. Older ; P. Humenn ; S.-K. Chin
Complexity Problems in the Analysis of Information Systems Security / A. Slissenko
A Behavior-Based Approach to Securing Email Systems / S.J. Stolfo ; S. Hershkop ; K. Wang ; O. Nimeskern ; C.-W. Hu
Real-Time Intrusion Detection with Emphasis on Insider Attacks / S. Upadhyaya
Mathematical Models and Architectures for Computer Network Security
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols / S. Bistarelli ; I. Cervesato ; G. Lenzini ; F. Martinelli
GRID Security Review / L. Gymnopoulos ; S. Dritsas ; S. Gritzalis ; C. Lambrinoudakis
A Knowledge-Based Repository Model for Security Policies Management / S. Kokolakis ; D. Gritzalis
Symbolic Partial Model Checking for Security Analysis
Rule-Based Systems Security Model / M. Smirnov
Logical Resolving for Security Evaluation / P.D. Zegzhda ; D.P. Zegzhda ; M.O. Kalinin
Intrusion Detection
Enhanced Correlation in an Intrusion Detection Process / S. Benferhat ; F. Autrel ; F. Cuppens
Safeguarding SCADA Systems with Anomaly Detection / J. Bigham ; D. Gamez ; N. Lu
Experiments with Simulation of Attacks against Computer Networks / I. Kotenko ; E. Man'kov
Detecting Malicious Codes by the Presence of Their "Gene of Self-replication" / V.A. Skormin ; D.H. Summerville ; J.S. Moronski
Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences / K. Wee ; B. Moon
Public Key Distribution, Authentication, Access Control
Distributed Access Control: A Logic-Based Approach / S. Barker
Advanced Certificate Status Protocol / D.H. Yum ; J.E. Kang ; P.J. Lee
Key History Tree: Efficient Group Key Management with Off-Line Members / A. Lain ; V. Borisov
A Certificate Status Checking Protocol for the Authenticated Dictionary / J.L. Munoz ; J. Forne ; O. Esparza ; M. Soriano
Context-Dependent Access Control for Web-Based Collaboration Environments with Role-Based Approach / R. Wolf ; M. Schneider
Cryptography
A Signcryption Scheme Based on Secret Sharing Technique / M. Al-Ibrahim
A Zero-Knowledge Identification Scheme Based on an Average-Case NP-Complete Problem / P. Caballero-Gil ; C. Hernández-Goya
Linear Cryptanalysis on SPECTR-H64 with Higher Order Differential Property / Y.D. Ko ; D.J. Hong ; S.H. Hong ; S.J. Lee ; J.L. Lim
Achieveability of the Key-Capacity in a Scenario of Key Sharing by Public Discussion and in the Presence of Passive Eavesdropper / V. Korzhik ; V. Yakovlev ; A. Sinuk
On Cipher Design Based on Switchable Controlled Operations / N.A. Moldovyan
Elliptic Curve Point Multiplication / A. Rostovtsev ; E. Makhovenko
Encryption and Data Dependent Permutations: Implementation Cost and Performance Evaluation / N. Sklavos ; A.A. Moldovyan ; O. Koufopavlou
Steganography
Simulation-Based Exploration of SVD-Based Technique for Hidden Communication by Image Steganography Channel / V. Gorodetsky ; V. Samoilov
Detection and Removal of Hidden Data in Images Embedded with Quantization Index Modulation / K. Zhang ; S. Wang ; X. Zhang
Digital Watermarking under a Filtering and Additive Noise Attack Condition / V. Korzhik, G ; . Morales-Luna ; I. Marakova ; C. Patino-Ruvalcaba
Data Hiding in Digital Audio by Frequency Domain Dithering
Steganography with Least Histogram Abnormality
Multi-bit Watermarking Scheme Based on Addition of Orthogonal Sequences
Short Papers
Authentication of Anycast Communication / A. Cerny
Two-Stage Orthogonal Network Incident Detection for the Adaptive Coordination with SMTP Proxy / R. Ando ; Y. Takefuji
Construction of the Covert Channels / A. Grusho ; E. Timonina
Privacy and Data Protection in Electronic Communications / L. Mitrou ; K. Moulinos
Multiplier for Public-Key Cryptosystem Based on Cellular Automata / H.S. Kim ; S.H. Hwang
A Game Theoretic Approach to Analysis and Design of Survivable and Secure Systems and Protocols / S. Kumar ; V. Marbukh
Alert Triage on the ROC / F.J. Martin ; E. Plaza
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64 / N.D. Goots ; B.V. Izotov
Immunocomputing Model of Intrusion Detection / Y. Melnikov ; A. Tarakanov
Agent Platform Security Architecture / G. Santana ; L.B. Sheremetov ; M. Contreras
Support Vector Machine Based ICMP Covert Channel Attack Detection / T. Sohn ; T. Noh ; J. Moon
Computer Immunology System with Variable Configuration / S.P. Sokolova ; R.S. Ivlev
Author Index
Invited Papers
ForNet: A Distributed Forensics Network / K. Shanmugasundaram ; N. Memon ; A. Savant ; H. Bronnimann
Usage Control: A Vision for Next Generation Access Control / R. Sandhu ; J. Park
10.

図書

図書
Colin D. Walter, Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2779
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼