An RFC1413 identification server