Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems.

Dong-Ik Lee

Wook Shin Jong-Youl Park Dong-Ik Lee Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems. 619-627 http://search.ieice.org/bin/summary.php?id=e88-d_3_619&category=D&year=2005&lang=E&abst= 2005 88-D IEICE Trans. Inf. Syst. 3 db/journals/ieicet/ieicet88d.html#ShinPL05

Jeong-Gun Lee Euiseok Kim Dong-Ik Lee Instruction level redundant number computations for fast data intensive processing in asynchronous processors. 151-164 2005 51 J. Syst. Archit. 3 https://doi.org/10.1016/j.sysarc.2004.09.005 db/journals/jsa/jsa51.html#LeeKL05

Dong-Hoon Yoo Dong-Ik Lee Jeong-A Lee Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. 435-453 https://doi.org/10.1007/978-3-540-27793-4_25 2004 conf/apn/2004 ICATPN db/conf/apn/icatpn2004.html#YooLL04 Euiseok Kim Dong-Ik Lee Hiroshi Saito Hiroshi Nakamura Jeong-Gun Lee Takashi Nanya Performance optimization of synchronous control units for datapaths with variable delay arithmetic units. 816-819 2003 ASP-DAC https://doi.org/10.1145/1119772.1119952 conf/aspdac/2003 db/conf/aspdac/aspdac2003.html#KimLSNLN03 Euiseok Kim Hiroshi Saito Jeong-Gun Lee Dong-Ik Lee Hiroshi Nakamura Takashi Nanya Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units. 10276-10281 2003 conf/date/2003 DATE https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10141 http://dl.acm.org/citation.cfm?id=1022738 db/conf/date/date2003.html#KimSLLNN03 Wook Shin Dong-Ik Lee Hyoung-Chun Kim Jung-Min Kang Jin-Seok Lee Extended Role Based Access Control and Procedural Restrictions. 184-196 https://doi.org/10.1007/978-3-540-24691-6_15 2003 conf/icisc/2003 ICISC db/conf/icisc/icisc2003.html#ShinLKKL03 Eun-Gu Jung Byung-Soo Choi Dong-Ik Lee High performance asynchronous bus for SoC. 505-508 2003 conf/iscas/2003 ISCAS (5) https://doi.org/10.1109/ISCAS.2003.1206332 db/conf/iscas/iscas2003-5.html#JungCL03 Byung-Soo Choi Dong-Ik Lee Frequent Value Cache for Low-Power Asynchronous Dual-Rail Bus. 520-529 https://doi.org/10.1007/978-3-540-39762-5_58 2003 conf/patmos/2003 PATMOS db/conf/patmos/patmos2003.html#ChoiL03 Jeong-Joon Yoo Dong-Ik Lee Scalable Home Network Interaction Model Based on Mobile Agents. 543-546 2003 conf/percom/2003 PerCom https://doi.org/10.1109/PERCOM.2003.1192787 https://doi.ieeecomputersociety.org/10.1109/PERCOM.2003.1192787 db/conf/percom/percom2003.html#YooL03

Eunjung Oh Soo-Hyun Kim Dong-Ik Lee Ho-Yong Choi High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph. 2674-2683 2002 85-A IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 12 http://search.ieice.org/bin/summary.php?id=e85-a_12_2674 db/journals/ieiceta/ieiceta85.html#OhKLC02

Euiseok Kim Jeong-Gun Lee Dong-Ik Lee Building a Distributed Asynchronous Control Unit through Automatic Derivation of Hierarchically Decomposed AFSMs from a CDFG. 2-15 2001 conf/arvlsi/2001 ARVLSI https://doi.org/10.1109/ARVLSI.2001.915546 https://doi.ieeecomputersociety.org/10.1109/ARVLSI.2001.915546 db/conf/arvlsi/arvlsi2001.html#KimLL01 Chan-Ho Park Byung-Soo Choi Dong-Ik Lee Ho-Yong Choi Asynchronous Array Multiplier with an Asymmetric Parallel Array Structure. 202-212 2001 conf/arvlsi/2001 ARVLSI https://doi.org/10.1109/ARVLSI.2001.915561 https://doi.ieeecomputersociety.org/10.1109/ARVLSI.2001.915561 db/conf/arvlsi/arvlsi2001.html#ParkCLC01 Jeong-Gun Lee Euiseok Kim Dong-Ik Lee Imprecise data computation for high performance asynchronous processors. 261-266 2001 conf/aspdac/2001 ASP-DAC https://doi.org/10.1145/370155.370342 db/conf/aspdac/aspdac2001.html#LeeKL01 Jeong-Joon Yoo Young-Ho Suh Dong-Ik Lee Seung-Woog Jung Choul-Soo Jang Joong-Bae Kim Casting Mobile Agents to Workflow Systems: On Performance and Scalability Issues. 254-263 2001 conf/dexa/2001 DEXA https://doi.org/10.1007/3-540-44759-8_26 db/conf/dexa/dexa2001.html#YooSLJJK01 Jong-Youl Park Dong-Ik Lee HyungHyo Lee Data Protection in Mobile Agents: One-time Key-based Approach. 411-418 2001 conf/isads/2001 ISADS https://doi.org/10.1109/ISADS.2001.917446 https://doi.ieeecomputersociety.org/10.1109/ISADS.2001.917446 db/conf/isads/isads2001.html#ParkLL01 Euiseok Kim Dong-Ik Lee A new resource constrained asynchronous scheduling method through transformation of dataflow graphs. 41-44 2001 conf/iscas/2001 ISCAS (5) https://doi.org/10.1109/ISCAS.2001.921979 db/conf/iscas/iscas2001-5.html#KimL01 Young-Ho Suh Han Namgoong Jeong-Joon Yoo Dong-Ik Lee Design of a Mobile Agent-Based Workflow Management System. 93-102 https://doi.org/10.1007/3-540-44651-6_10 2001 conf/mata/2001 MATA db/conf/mata/mata2001.html#SuhNYL01 Jung-Min Kang Wook Shin C.-G. Park Dong-Ik Lee Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. 299-303 2001 conf/prdc/2001 PRDC https://doi.org/10.1109/PRDC.2001.992712 https://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992712 db/conf/prdc/prdc2001.html#KangSPL01 Jeong-Joon Yoo Doheon Lee Young-Ho Suh Dong-Ik Lee Scalable Workflow System Model Based on Mobile Agents. 222-236 https://doi.org/10.1007/3-540-44637-0_16 2001 conf/prima/2001 PRIMA db/conf/prima/prima2001.html#YooLSL01 Euiseok Kim Jeong-Gun Lee Dong-Ik Lee Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis. 104-113 2000 conf/async/2000 ASYNC https://doi.org/10.1109/ASYNC.2000.836976 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2000.836976 db/conf/async/async2000.html#KimLL00 Euiseok Kim Jeong-Gun Lee Dong-Ik Lee Automatic distributed asynchronous control circuit generation from data flow graph for asynchronous high-level synthesis. 49-52 2000 ISCAS https://doi.org/10.1109/ISCAS.2000.856255 conf/iscas/2000 db/conf/iscas/iscas2000.html#KimLL00 Byung-Soo Choi Dong-Wook Lee Dong-Ik Lee The Design of Delay Insensitive Asynchronous 16-bit Microprocessor. 33-36 1999 conf/aspdac/1999 ASP-DAC https://doi.org/10.1109/ASPDAC.1999.759703 https://doi.ieeecomputersociety.org/10.1109/ASPDAC.1999.759703 db/conf/aspdac/aspdac1999.html#ChoiLL99 Jeong-Joon Yoo Dong-Ik Lee X-MAS: Mobile Agent Platform for Workflow Systems with Time Constraints. 370-373 1999 conf/isads/1999 ISADS https://doi.org/10.1109/ISADS.1999.838462 https://doi.ieeecomputersociety.org/10.1109/ISADS.1999.838462 db/conf/isads/isads1999.html#YooL99 Uisok Kim Dong-Ik Lee Practical Synthesis of Speed-Independent Circuits Using Unfoldings. 191-196 1998 conf/aspdac/1998 ASP-DAC db/conf/aspdac/aspdac98.html#KimL98 https://doi.org/10.1109/ASPDAC.1998.669442 Dong-Ik Lee Sadatoshi Kumagai Shinzo Kodama Handles and Reachability Analysis of Free Choice Nets. 298-315 1995 conf/apn/1995 Application and Theory of Petri Nets db/conf/apn/apn95.html#LeeKK95 https://doi.org/10.1007/3-540-60029-9_46 Masato Nakagawa Dong-Ik Lee Sadatoshi Kumagai Shinzo Kodama Equivalent Net Abstraction and Firing Sequence Preservation. 513-516 1995 conf/iscas/1995 ISCAS db/conf/iscas/iscas1995-1.html#NakagawaLKK95 https://doi.org/10.1109/ISCAS.1995.521563 Dong-Ik Lee Sadatoshi Kumagai Shinzo Kodama Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets. 255-261 1993 ISADS https://doi.org/10.1109/ISADS.1993.262696 https://doi.ieeecomputersociety.org/10.1109/ISADS.1993.262696 conf/isads/1993 db/conf/isads/isads1993.html#LeeKK93 Dong-Ik Lee Tadaaki Nishimura Sadatoshi Kumagai Shinzo Kodama Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. 2709-2712 1993 conf/iscas/1993 ISCAS db/conf/iscas/iscas1993-4.html#LeeNKK93 Byung-Soo Choi Ho-Yong Choi Choul-Soo Jang Eun-Gu Jung Seung-Woog Jung Jung-Min Kang Euiseok Kim Hyoung-Chun Kim Joong-Bae Kim Soohyun KimSoo-Hyun Kim Uisok Kim Shinzo Kodama Sadatoshi Kumagai Doheon Lee Dong Wook LeeDong-Wook Lee HyungHyo Lee Jeong-A Lee Jeong-Gun Lee Jinseok LeeJin-Seok Lee Masato Nakagawa Hiroshi Nakamura Han Namgoong Takashi Nanya Tadaaki Nishimura Eunjung Oh C.-G. Park Chanho ParkChan-Ho Park Jong-Youl Park Hiroshi Saito Wook Shin Young-Ho Suh Dong-Hoon Yoo Jeong-Joon Yoo