A Formal General Framework of Internet Address Mechanisms