Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

PHS/DECT networks are “micro-cellular” radio access systems. Unlike cellular or 3G (third-generation) wireless networks they don’t require comprehensive, expensive supporting network architectures. Instead they inter-work with existing systems, such as PBXs (private branch exchanges), the PSTN (public switched telephone network), cellular networks, and ISDN (integrated services digital network)...

After identifying the general structure of a POTS (Plain Old Telephone System) Switching System we model individual components as communicating-nite state machines. Formulating the nite state machines in Promela (Process Meta Language) allows us to verify general and speciic properties of the model using the model-checker Spin. Modelling operational systems imposes design decisions, which we wi...

The GSM system has become the most popular system for mobile communication in the world. Criminals commonly use GSM phones, and it is therefore a need for forensic investigators to understand which evidence can be obtained from the GSM system. This paper briefly explains the basics of the GSM system. Evidence items that can be obtained from the Mobile Equipment, the SIM and the core network are...