6 search results - page 2 / 2 » Encoding Temporal Logics in Executable Z: A Case Study for t... |
GLOBECOM
2008
IEEE
13 years 5 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...