The Mouse Genome Informatics (MGI) Database is the authoritative source of official names for mouse genes, alleles, and strains.
For additional information, rules, and guidelines on mouse nomenclature: http://www.informatics.jax.org/mgihome/nomen/index.shtml
Registrater for a lab code: Lab Code Database | National Academies
For terms of mouse genetics and informatics: http://www.findmice.org/glossary