Victor R. L. SHEN


A Novel Cryptosystem with Lock Generation and Sum-Difference Replacement Ladder
Victor R. L. SHEN Tzer-Shyong CHEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/10/01
Vol. E85-D  No. 10  pp. 1719-1722
Type of Manuscript:  LETTER
Category: Applications of Information Security Techniques
Keyword: 
grey data generatingencryption systemcryptographic algorithm
 Summary | Full Text:PDF

Improvement of a Multi-Role-Based Access Control Policy
Victor R. L. SHEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/07/25
Vol. E83-A  No. 7  pp. 1483-1485
Type of Manuscript:  LETTER
Category: Information Security
Keyword: 
multi-role-based access controlcryptographysecurity of datauser hierarchy
 Summary | Full Text:PDF

Incremental CTL Model Checker for Fair States
Victor R. L. SHEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/07/25
Vol. E82-D  No. 7  pp. 1126-1130
Type of Manuscript:  LETTER
Category: Computer Hardware and Design
Keyword: 
design verificationCTL model checkerfair states
 Summary | Full Text:PDF

Requirements Specification and Analysis of Digital Systems Using FARHDL
Victor R. L. SHEN Feng-Ho KUO Feipei LAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/03/25
Vol. E81-D  No. 3  pp. 317-328
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
knowledge baserequirements specification formal analysisPetri netcompletenessand consistency
 Summary | Full Text:PDF