Verification of Classical Certificates via Nested Certificates and Nested Certificate Paths (1999)

by Albert Levi , M. Ufuk Caglayan
Citations:2 - 2 self