Mobile access to a library increases the complexity of the economic
infrastructure. To enable mobile access, a user's digital credentials
may be shared by several machines (home desktop, laptop, and PDA).
Consequently, all machines must maintain consistency across library
interactions. For instance, a digital coin spent by the desktop
should not be spent again by the laptop.