An Operational Semantics of the Java Card Firewall.
, , and .
E-smart, volume 2140 of Lecture Notes in Computer Science, page 95-110. Springer, (2001)

  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).