LoPSiL: A Location-Based Policy-Specification Language.

Jay Ligatti Billy Rickey Nalin Saigal

Published in: MobiSec (2009)

Keyphrases

specification language
formal specification
description language
programming language
symbolic execution
social networking
optimal policy
location based services
software environment
requirements specification
web services
case study
mobile devices
petri net
model checker