Searching for "Formal Aspects in Security and Trust" – sorted by Relevance.
-
Secure Program Partitioning in Dynamic Networks
- published as an article [SPJH06] at the Formal Aspects of Security and Trust 2006 workshop in Hamilton
- Cited by 1 (0 self) – Add To MetaCart
-
Privacy-friendly Electronic Traffic Pricing via Commits ⋆ Wiebren de Jonge TIP Systems BV, and
- of the Springer LNCS proceedings of the Workshop Formal Aspects in Security and Trust (FAST), Malaga, oct. 2008
- Add To MetaCart

