Perfect cryptography, S5 knowledge, and algorithmic knowledge.

Sabina Petride Riccardo Pucella Perfect cryptography, S5 knowledge, and algorithmic knowledge. 239-247 2007 TARK http://doi.acm.org/10.1145/1324249.1324281 conf/tark/2007 db/conf/tark/tark2007.html#PetrideP07