Keyword : computer algebra system


Computer Algebra System as Test Generation System
Satoshi HATTORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 1006-1017
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Testing
Keyword: 
test case generationequivalence partitioningboundary value analysiswhite-box testingcomputer algebra system
 Summary | Full Text:PDF

An Efficient Interpolation Attack
Shiho MORIAI Takeshi SHIMOYAMA Toshinobu KANEKO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/01/25
Vol. E83-A  No. 1 ; pp. 39-47
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
cryptanalysisblock cipherinterpolation attackcomputer algebra systemSNAKE
 Summary | Full Text:PDF