CardDAV (vCard Extension to WebDAV ) is a protocol standardized by the IETF and used to remote-access or share contact information over a server .