Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
Publication year: 2005
: 978-3-540-30569-9
History based access control and secure information flow The spec# programming system Mastering test generation from smart card software formal models A mechanism for secure, fine-grained dynamic provisioning of applications on small devices A type system for checking applet isolation in java card Verification of safety properties in the presence of transactions Modelling mobility aspects of security policies Smart devices for next generation mobile services A flexible framework for the estimation of coverage metrics in explicit state software model checking Combining several paradigms for circuit validation and verification Smart card research perspectives
: Computer Science, Java, access control, formal method, formal verification, mobile security, mobile service security, modeling, operating system, safety verification, security, security policies, smart cards, smart devices, verification, virtual machine
