Keyword : equivalence


Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo OKANO Satoshi HARAUCHI Toshifusa SEKIZAWA Shinpei OGATA Shin NAKAJIMA 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8 ; pp. 1498-1505
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
software verificationJavahash codeequivalence
 Summary | Full Text:PDF(444KB)

Extending a Role Graph for Role-Based Access Control
Yoshiharu ASAKURA Yukikazu NAKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2 ; pp. 211-219
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
RBACrole graphtransformation algorithmequivalence
 Summary | Full Text:PDF(671.7KB)