AN IMPROVED CIPHER BASED AUTOMATIC THEOREM PROVING TECHNIQUE FOR ENCRYPTION AND DECRYPTION
2020 ◽
Vol 9
(5)
◽
pp. 3121-3134
Keyword(s):
2004 ◽
pp. 457-461
◽
1983 ◽
Vol C-32
(9)
◽
pp. 785-798
◽
Keyword(s):