Author Info
Name
Papers
Collaborators
A. DIETL
1
1
Citations 
PageRank 
Referers 
1
0.36
1
Referees 
References 
0
0
Title
Citations
PageRank
Year
Formal Construction of Provably Secure Systems with Cartesiana10.361990