mitsuhiro okada
Formal to Practical Security
Print on DemandThe security issues set by the global digitization of our society have had, and will continue to ...
Conditional and Typed Rewriting Systems
Print on DemandThis volume presents the proceedings of the second international CTRS workshop. Topics include th...
Software Security -- Theories and Systems
Print on DemandFor more than the last three decades, the security of software systems has been an important area...
- 1