Secrecy for mobile implementations of security protocols
Mobile code technology offers interesting possibilities tothe practitioner, but also raises strong concerns aboutsecurity. One aspect of security is secrecy, the preservationof confidential information. This thesis investigates themodelling, specification and verification of secrecy in mobileapplica...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Mikroelektronik och informationsteknik, IMIT
2001
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-1341 |