close
1.

図書

図書
Burton S. Kaliski, Jr., Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2523
所蔵情報: loading…
2.

図書

図書
Agnes Hui Chan, Virgil Gligor (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 502 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2433
所蔵情報: loading…
目次情報: 続きを見る
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
Intrusion Detection with Support Vector Machines and Generative Models / John S. Baras ; Maben Rabi
Cryptographic Algorithm and Attack Implementation
Small and High-Speed Hardware Architectures for the 3GPP StandardCipher KASUMI / Akashi Satoh ; Sumio Morioka
Fast Software Implementations of SC2000 / Helger Lipmaa
Comparative Analysis of the Hardware Implementations of Hash Functions SHA-1 and SHA-512 / Tim Grembowski ; Roar Lien ; Kris Gaj ; Nghi Nguyen ; Peter Bellows ; Jaroslav Flidr ; Tom Lehman ; Brian Schott
Implementation of Chosen-Ciphertext Attacks against PGP and GnuPG / Kahil Jallad ; Jonathan Katz ; Bruce Schneier
Access Control and Trust Management (I)
Role-Based Access Control for E-commerce Sea-of-Data Applications / G. Navarro ; S. Robles ; J. Borrell
An Access Control Model for Tree Data Structures / Alban Gabillon ; Manuel Munier ; Jean-Jacques Bascou ; Laurent Gallon ; Emmanuel Bruno
A New Design of Privilege Management Infrastructure for Organizations Using Outsourced PKI / Ed Dawson ; Javier Lopez ; Jose A. Montenegro ; Eiji Okamoto
Authentication and Privacy
Password Authenticated Key Exchange Based on RSA for ImbalancedWireless Networks / Feng Zhu ; Duncan S. Wong ; Agnes H. Chan ; Robbie Ye
Quantifying Privacy Leakage through Answering Database Queries / Tsan-sheng Hsu ; Churn-Jung Liau ; Da-Wei Wang ; Jeremy K.-P. Chen
A New Offline Privacy Protecting E-cash System with Revokable Anonymity / Weidong Qiu ; Kefei Chen ; Dawu Gu
E-commerce Protocols (I)
Receipt-Free Sealed-Bid Auction / Masayuki Abe ; Koutarou Suzuki
Exclusion-Freeness in Multi-party Exchange Protocols / Nicolás González-Deleito ; Olivier Markowitch
A Realistic Protocol for Multi-party Certified Electronic Mail / Josep Lluís Ferrer-Gomila ; Magdalena Payeras-Capellà ; Llorenç Huguet-Rotger
Signature Schemes
A Nyberg-Rueppel Signature for Multiple Messages and Its Batch Verification / Shunsuke Araki
Comments to the UNCITRAL Model Law on Electronic Signatures / Apol-lònia Martínez-Nadal
An Anonymous Loan System Based on Group Signature Scheme / Rie Shigetomi ; Akira Otsuka ; Takahide Ogawa ; Hideki Imai
Traceability Schemes for Signed Documents / Shoko Yonezawa ; Goichiro Hanaoka ; Junji Shikata
Cryptography (I)
Proofs of Knowledge for Non-monotone Discrete-Log Formulae and Applications / Emmanuel Bresson ; Jacques Stern
Inversion/Division Systolic Architecture for Public-Key Cryptosystems in GF(2m) / Nam-Yeun Kim ; Dae-Ghon Kho ; Kee-Young Yoo
Efficient Bit Serial Multiplication Using Optimal Normal Bases of Type II in GF(2m) / Soonhak Kwon ; Heuisu Ryu
Access Control and Trust Management (II)
Conditional Cryptographic Delegation for P2P Data Sharing / Yuji Watanabe ; Masayuki Numao
Certification of Public Keys within an Identity Based System / L. Chen ; K. Harrison ; A. Moss ; D. Soldera ; N.P. Smart
A New Public Key Cryptosystem for Constrained Hardware / Jiande Zheng
Key Management
A Distributed and Computationally Secure Key Distribution Scheme / Vanesa Daza ; Javier Herranz ; Carles Padró ; Germán Sáez
On Optimal Hash Tree Traversal for Interval Time-Stamping
An Efficient Dynamic and Distributed Cryptographic Accumulator / Michael T. Goodrich ; Roberto Tamassia ; Jasminka Hasić
Security Analysis
A Second-Order DPA Attack Breaks a Window-Method Based Countermeasure against Side Channel Attacks / Katsuyuki Okeya ; Kouichi Sakurai
Parallelizable Elliptic Curve Point Multiplication Method with Resistance against Side-Channel Attacks / Bodo Möller
Automated Analysis of Some Security Mechanisms of SCEP / Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
An Attack on a Protocol for Certified Delivery / José R.M. Monteiro ; Ricardo Dahab
E-commerce Protocols (II)
Oblivious Counter and Majority Protocol / Hiroaki Kikuchi
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network / Wai Han Soo ; Azman Samsudin ; Alwyn Goh
Fingerprinting Concatenated Codes with Efficient Identification / M. Fernandez ; M. Soriano
Cryptography (II)
A Provably Secure Additive and Multiplicative Privacy Homomorphism / Josep Domingo-Ferrer
Algorithms for Efficient Simultaneous Elliptic Scalar Multiplication with Reduced Joint Hamming Weight Representation of Scalars / Yasuyuki Sakai
Author Index
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
3.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  ix, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2467
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
Denial of Service, Address Ownership, and Early Authentication in the IPv6 World (Transcript of Discussion)
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols / William Aiello ; Steven M. Bellovin ; Matt Blaze ; Ran Canetti ; John Ioannidis ; Angelos D. Keromytis ; Omer Reingold
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols (Transcript of Discussion)
Thwarting Timing Attacks Using ATM Networks / Geraint Price
Thwarting Timing Attacks Using ATM Networks (Transcript of Discussion)
Towards a Survivable Security Architecture for Ad-Hoc Networks / Tuomas Aura ; Silja Mäki
Towards a Survivable Security Architecture for Ad-Hoc Networks (Transcript of Discussion)
PIM Security / Dieter Gollmann
PIM Security (Transcript of Discussion)
Merkle Puzzles Revisited - Finding Matching Elements between Lists / Bruce Christianson ; David Wheeler
Merkle Puzzles Revisited (Transcript of Discussion)
Encapsulating Rules of Prudent Security Engineering (Position Paper) / Jan Jürjens
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion)
A Multi-OS Approach to Trusted Computer Systems / Hiroshi Yoshiura ; Kunihiko Miyazaki ; Shinji Itoh ; Kazuo Takaragi ; Ryoichi Sasaki
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion)
A Proof of Non-repudiation / Giampaolo Bella ; Lawrence C. Paulson
A Proof of Non-repudiation (Transcript of Discussion) / Larry Paulson
Using Authority Certificates to Create Management Structures / Babak Sadighi Firozabadi ; Marek Sergot ; Olav Bandmann
Using Attribute Certificates for Creating Management Structures (Transcript of Discussion)
Trust Management and Whether to Delegate / Simon N. Foley
Trust Management and Whether to Delegate (Transcript of Discussion)
You Can't Take It with You (Transcript of Discussion) / Mark Lomas
Protocols Using Keys from Faulty Data
Protocols Using Keys from Faulty Data (Transcript of Discussion)
On the Negotiation of Access Control Policies / Virgil D. Gligor ; Himanshu Khurana ; Radostina K. Koleva ; Vijay G. Bharadwaj ; John S. Baras
Negotiation of Access Control Policies (Transcript of Discussion)
Intrusion-Tolerant Group Management in Enclaves (Transcript of Discussion) / Hassen Sa¿idi
Lightweight Authentication in a Mobile Network (Transcript of Discussion) / James Malcolm
Bluetooth Security - Fact or Fiction? (Transcript of Discussion) / Peter Drabwell
Concluding Discussion When Does Confidentiality Harm Security? / Chair: Bruce Christianson
The Last Word / Thucydides
Author Index
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
4.

図書

図書
Dieter Gollmann, Günter Karjoth, Michael Waidner (eds.)
出版情報: Berlin : Springer, c2002  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2502
所蔵情報: loading…
5.

図書

図書
Andreas Wespi, Giovanni Vigna, Luca Deri (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2516
所蔵情報: loading…
6.

図書

図書
George Davida, Yair Frankel, Owen Rees (eds.)
出版情報: Berlin : Springer, c2002  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2437
所蔵情報: loading…
7.

図書

図書
Maria Marinaro, Roberto Tagliaferri (eds.)
出版情報: Berlin : Springer, c2002  ix, 252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2486
所蔵情報: loading…
目次情報: 続きを見る
Review Papers
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Eduardo R. Caianiello Lecture
Learning Preference Relations from Data / Theodoros Evgniou ; Massimiliano Pontil
Francesco E. Lauria Lecture
Increasing the Biological Inspiration of Neural Networks / Francesco E. Lauria
Architectures and Algorithms
Hybrid Automatic Trading Systems: Technical Analysis & Group Method of Data Handling / Marco Corazza ; Paolo Vanni ; Umberto Loschi
Interval TOPSIS for Multicriteria Decision Making / Silvio Giove
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks / Giuliano Grossi ; Roberto Posenato
Extended Random Neural Networks / G. Martinelli ; F. M. Frattale Mascioli ; M. Panella ; A. Rizzi
Generalized Independent Component Analysis as Density Estimation / Francesco Palmieri ; Alessandra Budillon
Spline Recurrent Neural Networks for Quad-Tree Video Coding / Lorenzo Topi ; Raffaele Parisi ; Aurelio Uncini
MLP Neural Network Implementation on a SIMD Architecture / Salvatore Vitabile ; Antonio Gentile ; G. B. Dammone ; Filippo Sorbello
Image and Signal Processing
A New Approach to Detection of Muscle Activation by Independent Component Analysis and Wavelet Transform / Bruno Azzerboni ; Giovanni Finocchio ; Maurizio Ipsale ; Fabio La Foresta ; Francesco Carlo Morabito
Learning to Balance Upright Posture: What can be Learnt Using Adaptive NN Models? / N. Alberto Borghese
Detection of Facial Features / Paola Campadelli ; Elena Casiraghi ; Raffaella Lanzarotti
A Two Stage Neural Architecture for Segmentation and Superquadrics Recovery from Range Data / Antonio Chella ; Roberto Pirrone
Automatic Discrimination of Earthquakes and False Events in Seismological Recording for Volcanic Monitoring / E. C. Ezin ; Flora Giudicepietro ; Simona Petrosino ; S. Scarpetta ; A. Vanacore
A Comparison of Signal Compression Methods by Sparse Solution of Linear Systems / Davide Mattera ; Michele Di Monte
Fuzzy Time Series for Forecasting Pollutants Concentration in the Air / Mario Versaci
Real-Time Perceptual Coding of Wideband Speech by Competitive Neural Networks / Eros Pasero ; Alfonso Montuori
Sound Synthesis by Flexible Activation Function Recurrent Neural Networks
Special Session on "Learning in Neural Networks: Limitations and Future Trends" Chaired by Marco Gori Mathematical Modelling of Generalization / Martin Anthony
Structural Complexity and Neural Networks / Alberto Bertoni ; Beatrice Palano
Bayesian Learning Techniques: Application to Neural Networks with Constraints on Weight Space / A. Eleuteri ; R. Tagliaferri ; L. Milano ; F. Acernese ; M. De Laurentiis
A Short Review of Statistical Learning Theory
Author Index / Domenico Parisi
Review Papers
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Eduardo R. Caianiello Lecture
8.

図書

図書
Hassan Shafazand, A Min Tjoa (eds.)
出版情報: Berlin : Springer, c2002  xxiii, 1020 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2510
所蔵情報: loading…
目次情報: 続きを見る
Artificial Intelligence I
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
An Intelligent System for Therapy Control in a Distributed Organization / José Joaquín Cañadas ; Isabel María del Águila ; Alfonso Bosch ; Samuel Túnez
Data Mining
Discovering Local Patterns from Multiple Temporal Sequences / Xiaoming Jin ; Yuchang Lu ; Chunyi Shi
The Geometric Framework for Exact and Similarity Querying XML Data / Michal Krátký ; Jaroslav Pokorný ; Tomáš Skopal ; Václav Snášel
A Mobile System for Extracting and Visualizing Protein-Protein Interactions / Kyungsook Han ; Hyoungguen Kim
Discovering Temporal Relation Rules Mining from Interval Data / Jun Wook Lee ; Yong Joon Lee ; Hey Kyu Kim ; Bu Hun Hwang ; Keun Ho Ryu
Multimedia I
An Abstract Image Representation Based on Edge Pixel Neighborhood Information (EPNI) / Abdolah Chalechale ; Alfred Mertins
Motion Estimation Based on Temporal Correlations / H.S. Yoon ; G.S. Lee ; S.H. Kim ; J.Y. Chang
A New Boundary Matching Algorithm Based on Edge Detection / NamRye Son ; YoJin Yang ; GueeSang Lee ; SungJu Park
Lookmark: A 2.5D Web Information Visualization System / Christian Breiteneder ; Horst Eidenberger ; Geert Fiedler ; Markus Raab
Artificial Intelligence II
Different Local Search Algorithms in STAGE for Solving Bin Packing Problem / Saeed Bagheri Shouraki ; Gholamreza Haffari
A Prototype for Functionality Based Network Management System / V. Neelanarayanan ; N. Satyanarayana ; N. Subramanian ; E. Usha Rani
Coaching a Soccer Simulation Team in RoboCup Environment / J. Habibi ; E. Chiniforooshan ; A. HeydarNoori ; M. Mirzazadeh ; M.A. Safari ; H.R. Younesy
Security I
Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme / Dongyang Long
A New Scheme Based on Semiconductor Lasers with Phase-Conjugate Feedback for Cryptographic Communications / A. Iglesias
Parallel Algorithm and Architecture for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Specification and Verification of Security Policies in Firewalls / Rasool Jalili ; Mohsen Rezvani
Multimedia II
Image Segmentation Based on Shape Space Modeling / Daehee Kim ; Yo-Sung Ho
HERMES: File System Support for Multimedia Streaming in Information Home Appliance / Youjip Won ; Jinyoun Park ; Sangback Ma
Motion Vector Recovery for Error Concealment Based on Macroblock Distortion Modeling / Jae-Won Suh
A Memory Copy Reduction Scheme for Networked Multimedia Service in Linux Kernel / JeongWon Kim ; YoungUhg Lho ; YoungJu Kim ; KwangBaek Kim ; SeungWon Lee
Neural Network
Hidden Markov Model and Neural Network Hybrid / Dongsuk Yook
Neural Network Based Algorithms for IP Lookup and Packet Classification / Mehran Mahramian ; Nasser Yazdani ; Karim Faez ; Hassan Taheri
Non-linear Prediction of Speech Signal Using Artificial Neural Nets / K. Ashouri ; M. Amini ; M.H. Savoji
Security II
Web Document Access Control Using Two-Layered Storage Structures with RBAC Server / Won Bo Shim ; Seog Park
Development of UML Descriptions with USE / Martin Gogolla ; Mark Richters
FPGA Implementation of Digital Chaotic Cryptography / Dewi Utami ; Hadi Suwastio ; Bambang Sumadjudin
Multimedia III
Stereo for Recovering Sharp Object Boundaries / Jeonghee Jeon ; Choongwon Kim
Priority Vantage Points Structures for Similarity Queries in Metric Spaces / Cengiz Celik
A High Performance Image Coding Using Uniform Morphological Sampling, Residues Classifying, and Vector Quantization / Saeid Saryazdi ; Mostafa Jafari
A Genetic Algorithm for Steiner Tree Optimization with Multiple Constraints Using Prüfer Number / A.T. Haghighat ; K. Faez ; M. Dehghan ; A. Mowlaei ; Y. Ghahremani
Data and Knowledge Engineering I
A New Technique for Participation of Non-CORBA Independent Persistent Objects in OTS Transactions / Mohsen Sharifi ; S.F. Noorani ; F. Orooji
Compositional Modelling of Workflow Processes / Khodakaram Salimifard ; Mike B. Wright
EDMIS: Metadata Interchange System for OLAP / In-Gi Lee ; Minsoo Lee ; Hwan-Seung Yong
An Efficient Method for Controlling Access in Object-Oriented Databases / Woochun Jun ; Le Gruenwald
XML I
Extracting Information from XML Documents by Reverse Generating a DTD / Jong-Seok Jung ; Dong-Ik Oh ; Yong-Hae Kong ; Jong-Keun Ahn
Mapping XML-Schema to Relational Schema / Sun Hongwei ; Zhang Shusheng ; Zhou Jingtao ; Wang Jing
Flexible Modification of Relational Schema by X2RMap in Storing XML into Relations / Jaehoon Kim
B2B Integration - Aligning ebXML and Ontology Approaches / Birgit Hofreiter ; Christian Huemer
Mobile Communication I
An Agent Based Service Discovery Architecture for Mobile Environments / Zhou Wang ; Jochen Seitz
Location Management Using Multicasting HLR in Mobile Networks / Dong Chun Lee
Packet Error Probability of Multi-carrier CDMA System in Fast/Slow Correlated Fading Plus Interference Channel / Jae-Sung Roh ; Chang-Heon Oh ; Heau-Jo Kang ; Sung-Joon Cho
Computer Graphics
A Distributed Low-Cost Dynamic Multicast Routing Algorithm with Delay Constraints / Min-Woo Shin ; Nak-Keun Joo ; Hyeong-Seok Lim
A New Bandwidth Reduction Method for Distributed Rendering Systems / Won-Jong Lee ; Hyung-Rae Kim ; Woo-Chan Park ; Jung-Woo Kim ; Tack-Don Han ; Sung-Bong Yang
Neural Networks Based Mesh Generation Method in 2-D / Çinar Ahmet ; Arslan Ahmet
Image Denoising Using Hidden Markov Models / Leila Ghabeli ; Hamidreza Amindavar
Data and Knowledge Engineering II
Anaphoric Definitions in Description Logic / Maarten Marx ; Mehdi Dastani
Storage and Querying of High Dimensional Sparsely Populated Data in Compressed Representation / Abu Sayed M. Latiful Hoque
The GlobData Fault-Tolerant Replicated Distributed Object Database / Luís Rodrigues ; Hugo Miranda ; Ricardo Almeida ; João Martins ; Pedro Vicente
XML II
A Levelized Schema Extraction for XML Document Using User-Defined Graphs / Sungrim Kim ; Yong-ik Yoon
Extracting, Interconnecting, and Accessing Heterogeneous Data Sources: An XML Query Based Approach / Gilles Nachouki ; Mohamed Quafafou
Mobile Communication II
Call Admission Control in Cellular Mobile Networks: A Learning Automata Approach / Hamid Beigy ; M.R. Meybodi
An Adaptive Flow Control Scheme for Improving TCP Performance in Wireless Internet / Seung-Joon Seok ; Sung-Min Hong ; Chul-Hee Kang
An Adaptive TCP Protocol for Lossy Mobile Environment / Choong Seon Hong ; YingXia Niu ; Jae-Jo Lee
Design and Implementation of Application-Level Multicasting Services over ATM Networks / Sung-Yong Park ; Jihoon Yang ; Yoonhee Kim
Digital Libraries and Natural Language Issues
Bon: The Persian Stemmer / Masoud Tashakori ; Mohammadreza Meybodi ; Farhad Oroumchian
Current and Future Features of Digital Journals / Harald Krottmaier
Solving Language Problems in a Multilingual Digital Library Federation / Nieves R. Brisaboa ; José R. Paramá ; MiguelR. Penabad ; Ángeles S. Places ; Francisco J. Rodríguez
Internet and Quality of Service
Performing IP Lookup on Very High Line Speed / Nazila Salimi
A Study of Marking Aggregated TCP and UDP Flows Using Generalized Marking Scheme
Information Society
Towards the Global Information Society: The Enactment of a Regulatory Framework as a Factor of Transparency and Social Cohesion / Panagiotes S. Anastasiades
E-learning
On the Application of the Semantic Web Concepts to Adaptive E-learning / Juan M. Santos ; Luis Anido ; Martín Llamas ; Judith S. Rodríguez
An Integrated Programming Environment for Teaching the Object-Oriented Programming Paradigm / Stelios Xinogalos ; Maya Satratzemi
The Current Legislation Covering E-learning Provisions for the Visually Impaired in the EU / Hamid Jahankhani ; John A. Lynch ; Jonathan Stephenson
Mobile Communication III
Monte Carlo Soft Handoff Modeling / Alexey S. Rodionov ; Hyunseung Choo
A QoS Provision Architecture for Mobile IPv6 over MPLS Using HMAT / Zhao Wei Qu ; Sungyoung Lee
A New Propagation Model for Cellular Mobile Radio Communications in Urban Environments Including Tree Effects / Reza Arablouei ; Ayaz Ghorbani
Mobile Web Information Systems
A Secure Mobile Agent System Applying Identity-Based Digital Signature Scheme / Seongyeol Kim ; Ilyong Chung
Transmission Time Analysis of WAP over CDMA System Using Turbo Code Scheme / Il-Young Moon
On the Use of New Technologies in Health Care / Fernando Aguado ; Olga Folgueiras ; Manuel Caeiro
Wireless Communication Technology I
Hybrid Queuing Strategy to Reduce Call Blocking in Multimedia Wireless Networks / Il-Sun Hwang ; Robert Young Chul Kim
A Dynamic Backoff Scheme to Guarantee QoS over IEEE 802.11 Wireless Local Area Networks / Kil-Woong Jang ; Sung-Ho Hwang ; Ki-Jun Han
Performance Evaluation of Serial/Parallel Block Coded CDMA Systemwith Complex Spreading in Near/Far Multiple-Access Interference and Multi-path Nakagami Fading Channel / Choon-Gil Kim
A Learning Automata Based Dynamic Guard Channel Scheme
Web-Based Application
Dynamic System Simulation on the Web / Khaled Mahbub ; M.S.J. Hashmi
Using Proximity Information for Load Balancing in Geographically Distributed Web Server Systems / Dheeraj Sanghi ; Pankaj Jalote ; Puneet Agarwal
Strategie Tool for Assessment of the Supply and Demand Relationship between ASPs and SMEs for Competitive Advantage / Babak Akhgar ; Jawed Siddiqi ; Mehrdad Naderi
Intelligent Agents I
Trust and Commitment in Dynamic Logic / Jan Broersen ; Zhisheng Huang ; Leendert van der Torre
Modelling Heterogeneity in Multi Agent Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Pricing Agents for a Group Buying System / Yong Kyu Lee ; Shin Woo Kim ; Min Jung Ko ; Sung Eun Park
Evolution of Cooperation in Multiagent Systems / Brian Mayoh
Real-Time Systems
A Dynamic Window-Based Approximate Shortest Path Re-computation Method for Digital Road Map Databases in Mobile Environments / Jaehun Kim ; Sungwon Jung
Web-Based Process Control Systems: Architectural Patterns, Data Models, and Services / Mykola V. Tkachuk ; Heinrich C. Mayr ; Dmytro V. Kuklenko ; MichailD. Godlevsky
A Comparison of Techniques to Estimate Response Time for Data Placement / Shahram Ghandeharizadeh ; Shan Gao ; Chris Gahagan
Using a Real-Time Web-Based Pattern Recognition System to Search for Component Patterns Database / Sung-Jung Hsiao ; Kuo-Chin Fan ; Wen-Tsai Sung ; Shih-Ching Ou
Wireless Communication Technology II
An Adaptive Call Admission Control to Support Flow Handover in Wireless Ad Hoc Networks / Joo-Hwan Seo
Design of Optimal LA in Personal Communication Services Network Using Simulated Annealing Technique / Madhubanti Maitra ; Ranjan Kumar Pradhan ; Debasish Saha ; Amitava Mukherjee
Secure Bluetooth Piconet Using Non-anonymous Group Key / Dae-Hee Seo ; Im-Yeong Lee ; Dong-ik Oh ; Doo-soon Park
Differentiated Bandwidth Allocation and Power Saving for Wireless Personal Area Networks / Tae-Jin Lee ; Yongsuk Kim
Software Engineering I
Combining Extreme Programming with ISO 9000 / Jerzy R. Nawrocki ; Michał Jasiñski ; Bartosz Walter ; Adam Wojciechowski
The Class Cohesion Using the Reference Graph G1 and G2 / Wan-Kyoo Choi ; Il-Yong Chung Sung-Joo Lee ; Hong-Sang Yoon
Process-Oriented Interactive Simulation of Software Acquisition Projects / Tobias Häberlein ; Thomas Gantner
Automatic Design Patterns Identification of C++ Programs / Félix Agustín Castro Espinoza ; Gustavo Núñez Esquer ; Joel Suárez Cansino
Intelligent Agents II
Specifying the Merging of Desires into Goals in the Context of Beliefs
The Illegal Copy Protection Using Hidden Agent / Deok-Gyu Lee
Mobile Agent-Based Misuse Intrusion Detection Rule Propagation Model for Distributed System / Tae-Kyung Kim ; Dong-Young Lee ; T.M. Chung
Algorithm and Computer Theory
H-Colorings of Large Degree Graphs / Josep Díaz ; Jaroslav Nešetřil ; Maria Serna ; Dimitrios M. Thilikos
Hyper-Star Graph: A New Interconnection Network Improving the Network Cost of the Hypercube / Hyeong-Ok Lee ; Jong-Seok Kim ; Eunseuk Oh
Sequential Consistency as Lazy Linearizability / Michel Raynal
Embedding Full Ternary Trees into Recursive Circulants / Cheol Kim ; Jung Choi
Wireless Communication Technology III
A Handoff Priority Scheme for TDMA/FDMA-Based Cellular Networks / Sun-Woo Lee
On Delay Times in a Bluetooth Piconet: The Impact of Different Scheduling Policies / Jelena Mišić ; Vojislav B. Mišić
Intelligent Paging Strategy in 3G Personal Communication Systems / I. Saha Misra ; S. Karmakar ; M.S. Mahapatra ; P.S. Bhattacharjee ; D. Saha ; A. Mukhertjee
Experience from Mobile Application Service Framework in WIP / Shinyoung Lim ; Youjin Song
An Efficient Approach to Improve TCP Performance over Wireless Networks / Satoshi Utsumi ; Salahuddin M.S. Zabir ; Norio Shiratori
Extended Hexagonal Constellations as a Means of Multicarrier PAPR Reduction / Ali Pezeshk ; Babak H. Khalaj
Software Engineering II
Adaptive Application-Centric Management in Meta-computing Environments
The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems / Sung-Hoon Park
From Lens to Flow Structure / David Fauthoux ; Jean-Paul Bahsoun
ADML: A Language for Automatic Generation of Migration Plans / Jennifer Pérez ; José A. Carsí ; Isidro Ramos
Considerations for Using Domain-Specific Modeling in the Analysis Phase of Software Development Process / Kalle Korhonen
Organizations and Normative Agents / Virginia Dignum ; Frank Dignum
A Framework for Agent-Based Software Development / Behrouz Homayoun Far
Application of Agent Technologies in Extended Enterprise Production Planning / V. Marík ; M. Pechoucek ; J. Vokrínek ; A. Ríha
Zamin: An Artificial Ecosystem / Ramin Halavati
Author Index
Artificial Intelligence I
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
9.

図書

図書
Don Batory, Charles Consel, Walid Taha (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 334 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2487
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Program Generation, Termination, and Binding-Time Analysis / Neil D. Jones ; Arne J. Glenstrup
Generative Programming for Embedded Systems / Janos Sztipanovits ; Gabor Karsai
Regular Papers
Self Reflection for Adaptive Programming / Giuseppe Attardi ; Antonio Cisternino
DataScript - A Specification and Scripting Language for Binary Data / Godmar Back
Memoization in Type-Directed Partial Evaluation / Vincent Balat ; Olivier Danvy
A Protocol Stack Development Tool Using Generative Programming / Michel Barbeau ; Francis Bordeleau
Building Composable Aspect-Specific Languages with Logic Metaprogramming / Johan Brichau ; Kim Mens ; Kris De Volder
Architectural Refactoring in Framework Evolution: A Case Study / Greg Butler
Towards a Modular Program Derivation via Fusion and Tupling / Wei-Ngan Chin ; Zhenjiang Hu
Generative Programming for Embedded Software: An Industrial Experience Report / Krzysztof Czarnecki ; Thomas Bednasch ; Peter Unger ; Ulrich Eisenecker
A Framework for the Detection and Resolution of Aspect Interactions / Remi Douence ; Pascal Fradet ; Mario Sudholt
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design / Tzilla Elrad ; Omar Aldawud ; Atef Bader
Macros That Compose: Systematic Macro Programming / Oleg Kiselyov
Program Termination Analysis in Polynomial Time / Chin Soon Lee
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems / Sandeep Neema ; Ted Bapty ; Jeff Gray ; Aniruddha Gokhale
Optimizing Content Management System Pipelines (Separation and Merging of Concerns) / Markus Noga ; Florian Krüper
Component-Based Programming for Higher-Order Attribute Grammars / João Saraiva
Altering Java Semantics via Bytecode Manipulation / E ric Tanter ; Marc Segura-Devillechaise ; Jacques Noyé ; José Piquer
Meta-programming with Concrete Object Syntax / Eelco Visser
Managing Dynamic Changes in Multi-stage Program Generation Systems / Zhenghao Wang ; Richard R. Muntz
Author Index
Invited Papers
Program Generation, Termination, and Binding-Time Analysis / Neil D. Jones ; Arne J. Glenstrup
Generative Programming for Embedded Systems / Janos Sztipanovits ; Gabor Karsai
10.

図書

図書
Chris George, Huaikou Miao (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 626 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2495
所蔵情報: loading…
11.

図書

図書
Yvo G. Desmedt (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2567
所蔵情報: loading…
目次情報: 続きを見る
Diffie-Hellman Based Schemes
Efficient Construction of (Distributed) Verifiable Random Functions / Yevgeniy Dodis
An Identity-Based Signature from Gap Diffie-Hellman Groups / Jae Choon Cha ; Jung Hee Cheon
Threshold Cryptography
Threshold Signatures, Multisignatures and Blind Signatures Based on the Gap-Diffie-Hellman-Group Signature Scheme / Alexandra Boldyreva
An Efficient Two-Party Public Key Cryptosystem Secure against Adaptive Chosen Ciphertext Attack / Philip MacKenzie
Reduction Proofs
On the Bit Security of NTRUEncrypt / Mats Näslund ; Igor E. Shparlinski ; William Whyte
Equivalence between Semantic Security and Indistinguishability against Chosen Ciphertext Attacks / Yodai Watanabe ; Junji Shikata ; Hideki Imai
Broadcast and Tracing
Randomness Re-use in Multi-recipient Encryption Schemes / Mihir Bellare ; Jessica Staddon
Public Key Trace and Revoke Scheme Secure against Adaptive Chosen Ciphertext Attack / Nelly Fazio
Digital Signatures
The Cramer-Shoup Strong-RSA Signature Scheme Revisited / Marc Fischlin
Strong Key-Insulated Signature Schemes / Jonathan Katz ; Shouhuai Xu ; Moti Yung
Specialized Multiparty Cryptography
A Verifiable Secret Shuffle of Homomorphic Encryptions / Jens Groth
Round-Optimal Contributory Conference Key Agreement / Colin Boyd ; Juan Manuel González Nieto
Cryptanalysis I
Security Analysis of the MORCryptosystem / Christian Tobias
A Practical Attack on Some Braid Group Based Cryptographic Primitives / Dennis Hofheinz ; Rainer Steinwandt
Elliptic Curves: Implementation Attacks
A Refined Power-Analysis Attack on Elliptic Curve Cryptosystems / Louis Goubin
Validation of Elliptic Curve Public Keys / Adrian Antipa ; Daniel Brown ; Alfred Menezes ; René Struik ; Scott Vanstone
Exceptional Procedure Attack on Elliptic Curve Cryptosystems / Tetsuya Izu ; Tsuyoshi Takagi
Implementation and Hardware Issues
A Dedicated Sieving Hardware / Martijn Stam ; Willi Geiselmann
A Fast and Secure Implementation of Sflash / Mehdi-Laurent Akkar ; Nicolas T. Courtois ; Romain Duteuil
New Public Key Schemes
A Practical Public Key Cryptosystem from Paillier and Rabin Schemes / David Galindo ; Sebastià Martín ; Paz Morillo ; Jorge L. Villar
A Lattice Based Public Key Cryptosystem Using Polynomial Representations / Seong-Hun Paeng ; Bae Eun Jung ; Kil-Chan Ha
Elliptic Curves: General Issues
The Security of DSA and ECDSA (Bypassing the Standard Elliptic Curve Certification Scheme) / Serge Vaudenay
Cryptanalysis II
Side-Channel Attacks on Textbook RSA and ElGamal Encryption / Ulrich Kuhn
On the Security of HFE, HFEv- and Quartz / Magnus Daum ; Patrick Felke
Generic Attacks and the Security of Quartz
Author Index
Diffie-Hellman Based Schemes
Efficient Construction of (Distributed) Verifiable Random Functions / Yevgeniy Dodis
An Identity-Based Signature from Gap Diffie-Hellman Groups / Jae Choon Cha ; Jung Hee Cheon
12.

図書

図書
Yuliang Zheng (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 578 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2501
所蔵情報: loading…
13.

図書

図書
Robert Deng ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2513
所蔵情報: loading…
14.

図書

図書
David Naccache, Pascal Paillier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 383 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2274
所蔵情報: loading…
目次情報: 続きを見る
Encryption Schemes
New Semantically Secure Public-Key Cryptosystems from the RSA-Primitive / Kouichi Sakurai ; Tsuyoshi Takagi
Optimal Chosen-Ciphertext Secure Encryption of Arbitrary-Length Messages / Jean-Sebastien Coron ; Helena Handschuh ; Marc Joye ; Pascal Paillier ; David Pointcheval ; Christophe Tymen
On Sufficient Randomness for Secure Public-Key Cryptosystems / Takeshi Koshiba
Multi-recipient Public-Key Encryption with Shortened Ciphertext / Kaoru Kurosawa
Signature Schemes
Efficient and Unconditionally Secure Digital Signatures and a Security Analysis of a Multireceiver Authentication Code / Goichiro Hanaoka ; Junji Shikata ; Yuliang Zheng ; Hideki Imai
Formal Proofs for the Security of Signcryption / Joonsang Baek ; Ron Steinfeld
A Provably Secure Restrictive Partially Blind Signature Scheme / Greg Maitland ; Colin Boyd
Protocols I
M + 1-st Price Auction Using Homomorphic Encryption / Masayuki Abe ; Koutarou Suzuki
Client/Server Tradeoffs for Online Elections / Ivan Damgard ; Mads Jurik
Self-tallying Elections and Perfect Ballot Secrecy / Aggelos Kiayias ; Moti Yung
Protocols II
Efficient 1-Out-n Oblivious Transfer Schemes / Wen-Guey Tzeng
Linear Code Implies Public-Key Traitor Tracing / Takuya Yoshida
Design and Security Analysis of Anonymous Group Identification Protocols / Chan H. Lee ; Xiaotie Deng ; Huafei Zhu
On the Security of the Threshold Scheme
Based on the Chinese Remainder Theorem / Michael Quisquater ; Bart Preneel ; Joos Vandewalle
Cryptanalysis
Solving Underdefined Systems of Multivariate Quadratic Equations / Nicolas Courtois ; Louis Goubin ; Willi Meier ; Jean-Daniel Tacier
Selective Forgery of RSA Signatures with Fixed-Pattern Padding / Arjen K. Lenstra ; Igor E. Shparlinski
New Chosen-Plaintext Attacks on the One-Wayness of the Modified McEliece PKC Proposed at Asiacrypt 2000 / Kazukuni Kobara
Side Channels
SPA-Based Adaptive Chosen-Ciphertext Attack on RSA Implementation / Roman Novak
A Combined Timing and Power Attack / Werner Schindler
A Fast Parallel Elliptic Curve Multiplication Resistant against Side Channel Attacks / Tetsuya Izu
Invited Talk
New European Schemes for Signature, Integrity and Encryption (NESSIE): A Status Report
ECC Implementations
An Improved Method of Multiplication on Certain Elliptic Curves / Young-Ho Park ; Sangho Oh ; Sangjin Lee ; Jongin Lim ; Maenghee Sung
An Alternate Decomposition of an Integer for Faster Point Multiplication on Certain Elliptic Curves / Sangtae Jeong ; Chang Han Kim
Weierstraß Elliptic Curves and Side-Channel Attacks / Eric Brier
Applications
One-Way Cross-Trees and Their Applications / Sung-Ming Yen
RSA Key Generation with Verifiable Randomness / Ari Juels ; Jorge Guajardo
New Minimal Modified Radix-r Representation with Applications to Smart Cards
Author Index
Encryption Schemes
New Semantically Secure Public-Key Cryptosystems from the RSA-Primitive / Kouichi Sakurai ; Tsuyoshi Takagi
Optimal Chosen-Ciphertext Secure Encryption of Arbitrary-Length Messages / Jean-Sebastien Coron ; Helena Handschuh ; Marc Joye ; Pascal Paillier ; David Pointcheval ; Christophe Tymen
15.

図書

図書
Bart Preneel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 309 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2271
所蔵情報: loading…
目次情報: 続きを見る
Public Key Cryptography
On Hash Function Firewalls in Signature Schemes / Burton S. Kaliski Jr.
Observability Analysis - Detecting When Improved Cryptosystems Fail / Marc Joye ; Jean-Jacques Quisquater ; Sung-Ming Yen ; Moti Yung
Efficient Hardware Implementations
Precise Bounds for Montgomery Modular Multiplication and Some Potentially Insecure RSA Moduli / Colin D. Walter
Montgomery in Practice: How to Do It More Efficiently in Hardware / Lejla Batina ; Geeke Muurling
Mist: An Efficient, Randomized Exponentiation Algorithm for Resisting Power Analysis
An ASIC Implementation of the AES SBoxes / Johannes Wolkerstorfer ; Elisabeth Oswald ; Mario Lamberger
Public Key Cryptography: Theory
On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function / Marc Fischlin
The Representation Problem Based on Factoring / Roger Fischlin
Symmetric Ciphers
Ciphers with Arbitrary Finite Domains / John Black ; Phillip Rogaway
Known Plaintext Correlation Attack against RC5 / Atsuko Miyaji ; Masao Nonaka ; Yoshinori Takii
E-Commerce and Applications
Micropayments Revisited / Silvio Micali ; Ronald L. Rivest
Proprietary Certificates / Markus Jakobsson ; Ari Juels ; Phong Q. Nguyen
Stateless-Recipient Certified E-Mail System Based on Verifiable Encryption / Giuseppe Ateniese ; Cristina Nita-Rotaru
Digital Signatures
RSA-Based Undeniable Signatures for General Moduli / Steven D. Galbraith ; Wenbo Mao ; Kenneth G. Paterson
Co-operatively Formed Group Signatures / Greg Maitland ; Colin Boyd
Transitive Signature Schemes
Homomorphic Signature Schemes / Robert Johnson ; David Molnar ; Dawn Song ; David Wagner
Public Key Encryption
GEM: A Generic Chosen-Ciphertext Secure Encryption Method / Jean-Sébastien Coron ; Helena Handschuh ; Pascal Paillier ; David Pointcheval ; Christophe Tymen
Securing "Encryption + Proof of Knowledge" in the Random Oracle Model / Masayuki Abe
Discrete Logarithm
Nonuniform Polynomial Time Algorithm to Solve Decisional Diffie-Hellman Problem in Finite Fields under Conjecture / Qi Cheng ; Shigenori Uchiyama
Secure Key-Evolving Protocols for Discrete Logarithm Schemes / Cheng-Fen Lu ; ShiuhPyng Winston Shieh
Author Index
Public Key Cryptography
On Hash Function Firewalls in Signature Schemes / Burton S. Kaliski Jr.
Observability Analysis - Detecting When Improved Cryptosystems Fail / Marc Joye ; Jean-Jacques Quisquater ; Sung-Ming Yen ; Moti Yung
16.

図書

図書
Lynn Batten, Jennifer Seberry (eds.)
出版情報: Berlin : Springer, c2002  xii, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2384
所蔵情報: loading…
17.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Security and Privacy
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  viii, 331 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Committee
Information Flow I
Approximate Non-Interference / A. Di Pierro ; C. Hankin ; H. Wiklicky
Quantifying Information Flow / G. Lowe
Secrecy in Multiagent Systems / J. Halpern ; K. O'Neill
Intrusion
Two Formal Analyses of Attack Graphs / S. Jha ; O. Sheyner ; J. Wing
Formal Specification of Intrusion Signatures and Detection Rules / J.-P. Pouzol ; M. Ducasse
Protocols I
Types and Effects for Asymmetric Cryptographic Protocols / A. D. Gordon ; A. Jeffrey
Security Protocol Design via Authentication Tests / J. D. Guttman
Strand Spaces and Rank Functions: More Than Distant Cousins / J. Heather
Applications of Model-Checking
Probabilistic Analysis of Anonymity / V. Shmatikov
Analysis of SPKI/SDSI Certificates Using Model Checking / T. Reps
Protocols II
Capturing Parallel Attacks within the Data Independence Framework / P. J. Broadfoot ; A. W. Roscoe
Polynomial Fairness and Liveness / M. Backes ; B. Pfitzmann ; M. Steiner ; M. Waidner
A Formal Analysis of Some Properties of Kerberos 5 Using MSR / F. Butler ; I. Cervesato ; A. D. Jaggard ; A. Scedrov
Games
A Formal Analysis of Syverson's Rational Exchange Protocol / L. Buttyan ; J.-P. Hubaux ; S. Capkun
Game Analysis of Abuse-Free Contract Signing / S. Kremer ; J.-F. Raskin
Language-Based Security
Fine-Grained Information Flow Analysis for a [lambda]-Calculus with Sum Types / V. Simonet
Cryptographic Types / D. Duggan
Secure Information Flow and Pointer Confinement in a Java-Like Language / A. Banerjee ; D. A. Naumann
Distributed Rights, Access Control, and Watermarking
A Privacy Policy Model for Enterprises / G. Karjoth ; M. Schunter
A Logic for Reasoning about Digital Rights / R. Pucella ; V. Weissman
Hiding Functions and Computational Security of Image Watermarking Systems / N. Tran
Information Flow II
Information Flow Security in Dynamic Contexts / R. Focardi ; S. Rossi
A Simple View of Type-Secure Information Flow in the [pi]-Calculus / F. Pottier
Author Index
Preface
Workshop Committee
Information Flow I
18.

図書

図書
Moti Yung (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 626 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2442
所蔵情報: loading…
19.

図書

図書
Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
出版情報: Berlin : Springer, c2002  xx, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2434
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼