IEICE SEARCH SYSTEM

IEICE TRANSACTIONS on Information and Systems

Archive Index

Online ISSN : 1745-1361

Volume E92-D No.5 (Publication Date:2009/05/01)

RSS Feed(Latest Issue)

Special Section on Information and Communication System Security

pp.765-765 FOREWORD Open Access Paper FOREWORD Kouichi SAKURAI
	Summary \| Free Full Text:PDF (52.5KB)

pp.766-776 PAPER-INVITED Extensible Authentication Protocol Overview and Its Applications Heung Youl YOUM
	Summary \| Full Text:PDF (2MB)

pp.777-786 PAPER-INVITED A Threshold-Adaptive Reputation System on Mobile Ad Hoc Networks Hsiao-Chien TSAI Nai-Wei LO Tzong-Chen WU
	Summary \| Full Text:PDF (386.8KB)

pp.787-798 PAPER-INVITED Practical Correlation Analysis between Scan and Malware Profiles against Zero-Day Attacks Based on Darknet Monitoring Koji NAKAO Daisuke INOUE Masashi ETO Katsunari YOSHIOKA
	Summary \| Full Text:PDF (2MB)

pp.799-809 PAPER-INVITED Concept, Characteristics and Defending Mechanism of Worms Yong TANG Jiaqing LUO Bin XIAO Guiyi WEI
	Summary \| Full Text:PDF (806.5KB)

pp.810-817 PAPER-Ad-Hoc/Sensor Networks An Authenticated On-Demand Routing Protocol with Key Exchange for Secure MANET Youngho PARK Kyung-Hyune RHEE
	Summary \| Full Text:PDF (292.2KB)

pp.818-825 PAPER-Ad-Hoc/Sensor Networks Intelligent Sensing and Classification in DSR-Based Ad Hoc Networks Tae DEMPSEY Gokhan SAHIN Yu T. (Jade) MORTON
	Summary \| Full Text:PDF (596.4KB)

pp.826-835 PAPER-Authentication and Authorization Techniques Development of Single Sign-On System with Hardware Token and Key Management Server Daiki NOBAYASHI Yutaka NAKAMURA Takeshi IKENAGA Yoshiaki HORI
	Summary \| Full Text:PDF (795KB)

pp.836-850 PAPER-Authentication and Authorization Techniques Information-Flow-Based Access Control for Web Browsers Sachiko YOSHIHAMA Takaaki TATEISHI Naoshi TABUCHI Tsutomu MATSUMOTO
	Summary \| Full Text:PDF (1.3MB)

pp.851-858 PAPER-Contents Protection An Efficient Encryption and Key Management Scheme for Layered Access Control of H.264/Scalable Video Coding Su-Wan PARK Sang Uk SHIN
	Summary \| Full Text:PDF (546.8KB)

pp.859-875 PAPER-Contents Protection A Trade-off Traitor Tracing Scheme Go OHTAKE Kazuto OGAWA Goichiro HANAOKA Hideki IMAI
	Summary \| Full Text:PDF (784.9KB)

pp.876-887 PAPER-Contents Protection Fingerprinting Codes for Internet-Based Live Pay-TV System Using Balanced Incomplete Block Designs Shuhui HOU Tetsutaro UEHARA Takashi SATOH Yoshitaka MORIMURA Michihiko MINOH
	Summary \| Full Text:PDF (362.7KB)

pp.888-896 PAPER-Cryptographic Techniques Combining Public Key Encryption with Keyword Search and Public Key Encryption Rui ZHANG Hideki IMAI
	Summary \| Full Text:PDF (195.2KB)

pp.897-908 PAPER-Implementation Issues Collision-Based Power Attack for RSA with Small Public Exponent Kouichi ITOH Dai YAMAMOTO Jun YAJIMA Wakaha OGATA
	Summary \| Full Text:PDF (736.2KB)

pp.909-917 PAPER-Implementation Issues Efficient Implementation of Pairing-Based Cryptography on a Sensor Node Masaaki SHIRASE Yukinori MIYAZAKI Tsuyoshi TAKAGI Dong-Guk HAN Dooho CHOI
	Summary \| Full Text:PDF (252.1KB)

pp.918-928 PAPER-Implementation Issues TinyECCK16: An Efficient Field Multiplication Algorithm on 16-bit Environment and Its Application to Tmote Sky Sensor Motes Seog Chung SEO Dong-Guk HAN Seokhie HONG
	Summary \| Full Text:PDF (675.2KB)

pp.929-936 PAPER-Internet Security A Traffic Decomposition and Prediction Method for Detecting and Tracing Network-Wide Anomalies Ping DU Shunji ABE Yusheng JI Seisho SATO Makio ISHIGURO
	Summary \| Full Text:PDF (980.7KB)

pp.937-944 PAPER-Internet Security A Trust Ranking Method to Prevent IM Spam Jun BI
	Summary \| Full Text:PDF (1MB)

pp.945-954 PAPER-Malware Detection Automated Malware Analysis System and Its Sandbox for Revealing Malware's Internal and External Activities Daisuke INOUE Katsunari YOSHIOKA Masashi ETO Yuji HOSHIZAWA Koji NAKAO
	Summary \| Full Text:PDF (1.6MB)

pp.955-966 PAPER-Malware Detection Malware Sandbox Analysis for Secure Observation of Vulnerability Exploitation Katsunari YOSHIOKA Daisuke INOUE Masashi ETO Yuji HOSHIZAWA Hiroki NOGAWA Koji NAKAO
	Summary \| Full Text:PDF (3.2MB)

pp.967-970 LETTER-Cryptographic Techniques CCA-Secure Public Key Encryption without Group-Dependent Hash Functions Yang CUI Goichiro HANAOKA Hideki IMAI
	Summary \| Full Text:PDF (85.4KB)

Special Section on Formal Approach

pp.971-971 FOREWORD Open Access Paper FOREWORD Yukiyoshi KAMEYAMA
	Summary \| Free Full Text:PDF (51.6KB)

pp.972-984 PAPER-Hardware Verification Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath Tasuku NISHIHARA Takeshi MATSUMOTO Masahiro FUJITA
	Summary \| Full Text:PDF (1020.2KB)

pp.985-994 PAPER-Hardware Verification A Unified Framework for Equivalence Verification of Datapath Oriented Applications Bijan ALIZADEH Masahiro FUJITA
	Summary \| Full Text:PDF (1MB)

pp.995-1002 PAPER-Foundation Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus Yoshinori TANABE Toshifusa SEKIZAWA Yoshifumi YUASA Koichi TAKAHASHI
	Summary \| Full Text:PDF (315.1KB)

pp.1003-1011 PAPER-Model Checking Probabilistic Model Checking of the One-Dimensional Ising Model Toshifusa SEKIZAWA Tatsuhiro TSUCHIYA Koichi TAKAHASHI Tohru KIKUNO
	Summary \| Full Text:PDF (705.5KB)

pp.1012-1021 PAPER-Software Testing Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method Masaki NAKAMURA Takahiro SEINO
	Summary \| Full Text:PDF (231.8KB)

pp.1022-1032 PAPER-Security Verification of the Security against Inference Attacks on XML Databases Kenji HASHIMOTO Kimihide SAKANO Fumikazu TAKASUKA Yasunori ISHIHARA Toru FUJIWARA
	Summary \| Full Text:PDF (810.5KB)

pp.1033-1036 LETTER Comparison of the Expressive Power of Language-Based Access Control Models Yoshiaki TAKATA Hiroyuki SEKI
	Summary \| Full Text:PDF (200.8KB)

Regular Section

pp.1037-1048 PAPER-Computation and Computational Models A Distributed Variational Bayesian Algorithm for Density Estimation in Sensor Networks Behrooz SAFARINEJADIAN Mohammad B. MENHAJ Mehdi KARRARI
	Summary \| Full Text:PDF (639.5KB)

pp.1049-1061 PAPER-VLSI Systems PAMELA: Pattern Matching Engine with Limited-Time Update for NIDS/NIPS Tran Ngoc THINH Surin KITTITORNKUN Shigenori TOMIYAMA
	Summary \| Full Text:PDF (1.4MB)

pp.1062-1078 PAPER-Computer Systems TTN: A High Performance Hierarchical Interconnection Network for Massively Parallel Computers M.M. Hafizur RAHMAN Yasushi INOGUCHI Yukinori SATO Susumu HORIGUCHI
	Summary \| Full Text:PDF (1MB)

pp.1079-1092 PAPER-Contents Technology and Web Information Systems XSemantic: An Extension of LCA Based XML Semantic Search Umaporn SUPASITTHIMETHEE Toshiyuki SHIMIZU Masatoshi YOSHIKAWA Kriengkrai PORKAEW
	Summary \| Full Text:PDF (604.6KB)

pp.1093-1102 PAPER-Data Mining An Identification Method of Data-Specific GO Terms from a Microarray Data Set Yoichi YAMADA Ken-ichi HIROTANI Kenji SATOU Ken-ichiro MURAMOTO
	Summary \| Full Text:PDF (326.7KB)

pp.1103-1124 PAPER-Networks Cluster Based Location-Aided Routing Protocol for Large Scale Mobile Ad Hoc Networks Yi WANG Liang DONG Taotao LIANG Xinyu YANG Deyun ZHANG
	Summary \| Full Text:PDF (1.8MB)

pp.1125-1136 PAPER-Distributed Cooperation and Agents A Biologically Inspired Self-Adaptation of Replica Density Control Tomoko IZUMI Taisuke IZUMI Fukuhito OOSHITA Hirotsugu KAKUGAWA Toshimitsu MASUZAWA
	Summary \| Full Text:PDF (867.1KB)

pp.1137-1145 PAPER-Speech and Hearing Speech Enhancement Based on Noise Eigenspace Projection Dongwen YING Masashi UNOKI Xugang LU Jianwu DANG
	Summary \| Full Text:PDF (384.7KB)

pp.1146-1158 PAPER-Image Recognition, Computer Vision A Lexicon-Driven Handwritten City-Name Recognition Scheme for Indian Postal Automation Umapada PAL Kaushik ROY Fumitaka KIMURA
	Summary \| Full Text:PDF (1MB)

pp.1159-1167 PAPER-Image Recognition, Computer Vision An Efficient Local Stereo Matching Algorithm for Dense Disparity Map Estimation Based on More Effective Use of Intensity Information and Matching Constraints Ali M. FOTOUHI Abolghasem A. RAIE
	Summary \| Full Text:PDF (275.7KB)

pp.1168-1176 PAPER-Biological Engineering Detection of Fundus Lesions Using Classifier Selection Hiroto NAGAYOSHI Yoshitaka HIRAMATSU Hiroshi SAKO Mitsutoshi HIMAGA Satoshi KATO
	Summary \| Full Text:PDF (1.4MB)

pp.1177-1180 LETTER-System Programs Enriching OSGi Service Composition with Web Services Choonhwa LEE Sunghoon KO Eunsam KIM Wonjun LEE
	Summary \| Full Text:PDF (644.6KB)

pp.1181-1185 LETTER-Database Dynamic Forest: An Efficient Index Structure for NAND Flash Memory Chul-Woong YANG Ki YONG LEE Myoung HO KIM Yoon-Joon LEE
	Summary \| Full Text:PDF (219.6KB)

pp.1186-1189 LETTER-Networks A Fuzzy Control-Based Service Configuration Approach for Ubiquitous Computing Applications Yong ZHANG Shensheng ZHANG Songqiao HAN
	Summary \| Full Text:PDF (193.8KB)

pp.1190-1193 LETTER-Networks A Feasibility Study on Crash Avoidance at Four-Way Stop-Sign-Controlled Intersections Using Wireless Sensor Networks Do Hyun KIM Kyoung Ho CHOI Kyeong Tae KIM Ki Joune LI
	Summary \| Full Text:PDF (594.7KB)

pp.1194-1196 LETTER-Networks Cryptographic Energy Costs Are Assumable in Ad Hoc Networks Helena RIFA-POUS Jordi HERRERA-JOANCOMARTI
	Summary \| Full Text:PDF (57.8KB)

pp.1197-1199 LETTER-Dependable Computing Application-Dependent Interconnect Testing of Xilinx FPGAs Based on Line Branches Partitioning Teng LIN Jianhua FENG Dunshan YU
	Summary \| Full Text:PDF (136.1KB)

pp.1200-1203 LETTER-Application Information Security Searchable Encryption with Keyword-Recoverability Ik Rae JEONG Jeong Ok KWON Dowon HONG Dong Hoon LEE
	Summary \| Full Text:PDF (93.8KB)

pp.1204-1208 LETTER-Artificial Intelligence and Cognitive Science On Computational Issues of Semi-Supervised Local Fisher Discriminant Analysis Masashi SUGIYAMA
	Summary \| Full Text:PDF (93.2KB)

pp.1209-1212 LETTER-Image Recognition, Computer Vision Salient Edge Detection in Natural Images Yihang BO Siwei LUO Qi ZOU
	Summary \| Full Text:PDF (503.6KB)

pp.1213-1217 LETTER-Natural Language Processing Three-Phase Text Error Correction Model for Korean SMS Messages Jeunghyun BYUN So-Young PARK Seung-Wook LEE Hae-Chang RIM
	Summary \| Full Text:PDF (87.5KB)

pp.1218-1221 LETTER-Biological Engineering Differentiating Honeycombed Images from Normal HRCT Lung Images Aamir Saeed MALIK Tae-Sun CHOI
	Summary \| Full Text:PDF (198KB)