Futa, Yuichi
-
Vol 2, No 4 (2013) - Original Research
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
Abstract PDF
Artificial Intelligence Research
ISSN 1927-6974 (Print) ISSN 1927-6982 (Online)
Copyright © Sciedu Press
To make sure that you can receive messages from us, please add the 'Sciedupress.com' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders.