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 systemsecurity kernelreference monitorsecure operating systemaccess controlRBACprocedural constraints
 Summary | Full Text:PDF

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 testabilityundefined statesredundant faults
 Summary | Full Text:PDF

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) systemspausible clockingsynchronizationwrapper
 Summary | Full Text:PDF

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 multiplierWallace treecarry save adderasynchronous multiplierasynchronous design method
 Summary | Full Text:PDF

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 circuitsATPGSTG
 Summary | Full Text:PDF

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 integritydata confidentialityone-way hashcouplermobile agent
 Summary | Full Text:PDF

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 systemsmobile agentperformancescalability
 Summary | Full Text:PDF

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 generationprocess-orientedcontrol data flow graphssignal transition graph
 Summary | Full Text:PDF

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: 
ATPGSI asynchronous circuitssignal transition graphtesting
 Summary | Full Text:PDF

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 circuitspeed-independent circuitconcurrent programmingPetri netsynthesis
 Summary | Full Text:PDF

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 netsstate space explosionpartial order semanticsunfolding
 Summary | Full Text:PDF

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 netsSMA netsLSFC netsLBFC netshandlescomposition
 Summary | Full Text:PDF

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 graphoccurrence netasynchronous circuitderive logic functionsstate space explosion
 Summary | Full Text:PDF

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 netsSMA netsS-decompositionS-componentlivenesssafenessalgorithm
 Summary | Full Text:PDF

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 netschedulingstrongly connected marked graphFMSproduction systemutilization factorset-up timesrepetitive process
 Summary | Full Text:PDF

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

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