%0 Journal Article %T Dynamic types for authentication* %A Bugliesi, Michele %A Focardi, Riccardo %A Maffei, Matteo %J Journal of Computer Security %V 15 %N 6 %P 563-617 %@ 0926-227X %D 2007-09-29 %I SAGE Publications %~ DeepDyve