SEOUL—For the hundreds of millions of people who use Google Inc.'s online maps, North Korea has become a bit less of a cypher.

On Tuesday, the company revised its Google Maps application to add information for North Korea—from naming streets to marking the outlines of prison camps—beginning to flesh out a national map that has been largely unannotated since Google started providing maps online and for mobile devices eight years ago.

...