Abstract

A formal method was used to analyze the application isolation and objects sharing mechanism in Java smart card.A trust model was used to clarify the relationship of the inter-applet shareable objects.According to the constraint of trust transfer,it was inferred that,in addition to the applet level access controls,a global security policy of card was necessary to prevent the unauthorized information flow.Finally a simple implementation of the global security mechanism was designed.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.