IEICE Trans

Dong-Ik LEE

Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems Wook SHIN Jong-Youl PARK Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/03/01 Vol. E88-D No. 3 pp. 619-627 Type of Manuscript: PAPER Category: Application Information Security Keyword: trusted operating system, security kernel, reference monitor, secure operating system, access control, RBAC, procedural constraints,
	Summary \| Full Text:PDF(817.3KB)

Synthesis for Testability of Synchronous Sequential Circuits with Strong-Connectivity Using Undefined States on State Transition Graph Soo-Hyun KIM Ho-Yong CHOI Kiseon KIM Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/12/01 Vol. E87-A No. 12 pp. 3216-3223 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Test Keyword: synthesis for testability, undefined states, redundant faults,
	Summary \| Full Text:PDF(231.1KB)

Design of Decoupled Wrapper for Globally Asynchronous Locally Synchronous Systems Myeong-Hoon OH Seok-Jae PARK Dong-Ik LEE Ho-Yong CHOI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/06/01 Vol. E87-A No. 6 pp. 1338-1346 Type of Manuscript: Special Section PAPER (Special Section on Papers Selected from 2003 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2003)) Category: Keyword: globally asynchornous locally synchronous (GALS) systems, pausible clocking, synchronization, wrapper,
	Summary \| Full Text:PDF(776.2KB)

Asynchronous Array Multiplier with an Asymmetric Parallel Array Structure Chan-Ho PARK Byung-Soo CHOI Suk-Jin KIM Eun-Gu JUNG Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/07/01 Vol. E86-D No. 7 pp. 1243-1249 Type of Manuscript: PAPER Category: Computer System Element Keyword: array multiplier, Wallace tree, carry save adder, asynchronous multiplier, asynchronous design method,
	Summary \| Full Text:PDF(366.9KB)

High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph Eunjung OH Soo-Hyun KIM Dong-Ik LEE Ho-Yong CHOI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/12/01 Vol. E85-A No. 12 pp. 2674-2683 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Test Generation Keyword: asynchronous circuits, ATPG, STG,
	Summary \| Full Text:PDF(831.5KB)

One-Time Key Generation System for Agent Data Protection Jong-Youl PARK Dong-Ik LEE Hyung-Hyo LEE Joong-Gil PARK
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/03/01 Vol. E85-D No. 3 pp. 535-545 Type of Manuscript: PAPER Category: Cooperation in Distributed Systems and Agents Keyword: data integrity, data confidentiality, one-way hash, coupler, mobile agent,
	Summary \| Full Text:PDF(1.6MB)

Performance and Scalability Issues in Mobile Agent Based Workflow Systems Jeong-Joon YOO Young-Ho SUH Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2001/10/01 Vol. E84-B No. 10 pp. 2729-2739 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance) Category: Mobile Agent Keyword: workflow systems, mobile agent, performance, scalability,
	Summary \| Full Text:PDF(501.9KB)

Automatic Process-Oriented Asynchronous Control Unit Generation from Control Data Flow Graphs Euiseok KIM Jeong-Gun LEE Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/08/01 Vol. E84-A No. 8 pp. 2014-2028 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: automatic asynchronous control unit generation, process-oriented, control data flow graphs, signal transition graph,
	Summary \| Full Text:PDF(1.6MB)

Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification Eunjung OH Jeong-Gun LEE Dong-Ik LEE Ho-Yong CHOI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/06/01 Vol. E84-A No. 6 pp. 1506-1514 Type of Manuscript: Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000)) Category: Keyword: ATPG, SI asynchronous circuits, signal transition graph, testing,
	Summary \| Full Text:PDF(777.7KB)

Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations Dong-Hoon YOO Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 pp. 2203-2211 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: asynchronous circuit, speed-independent circuit, concurrent programming, Petri net, synthesis,
	Summary \| Full Text:PDF(529.2KB)

A Concurrency Characteristic in Petri Net Unfolding Chang-Hee HWANG Dong-Ik LEE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-A No. 4 pp. 532-539 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, state space explosion, partial order semantics, unfolding,
	Summary \| Full Text:PDF(639.4KB)

A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets Young-Han CHOE Dong-Ik LEE Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-A No. 4 pp. 524-531 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, SMA nets, LSFC nets, LBFC nets, handles, composition,
	Summary \| Full Text:PDF(716.3KB)

An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction Toshiyuki MIYAMOTO Dong-Ik LEE Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 pp. 1504-1510 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: signal transition graph, occurrence net, asynchronous circuit, derive logic functions, state space explosion,
	Summary \| Full Text:PDF(618.3KB)

Structural and Behavioral Analysis of State Machine Allocatable Nets Based on Net Decomposition Dong-Ik LEE Tadaaki NISHIMURA Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/03/25 Vol. E76-A No. 3 pp. 399-408 Type of Manuscript: Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems) Category: Keyword: Petri nets, SMA nets, S-decomposition, S-component, liveness, safeness, algorithm,
	Summary \| Full Text:PDF(838.8KB)

Optimal Cycle Time and Facility Utilization of Production Systems Including Repetitive Process with Set-up Time Modelled by Timed Marked Graphs Masaki AKAZA Dong-Ik LEE Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-A No. 10 pp. 1385-1393 Type of Manuscript: Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: Petri net, scheduling, strongly connected marked graph, FMS, production system, utilization factor, set-up times, repetitive process,
	Summary \| Full Text:PDF(636.1KB)

Reachability Theorem for a Class of Live and Safe Free Choice Nets Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1991/10/25 Vol. E74-A No. 10 pp. 3133-3143 Type of Manuscript: Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems) Category: Keyword:
	Summary \| Full Text:PDF(760.7KB)

Complete Structural Characterization of State Machine Allocatable Nets Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1991/10/25 Vol. E74-A No. 10 pp. 3115-3123 Type of Manuscript: Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems) Category: Keyword:
	Summary \| Full Text:PDF(665.8KB)