Travelled to:
1 × USA
Collaborated with:
C.Zhang
Talks about:
architectur (1) softwar (1) tactic (1) specif (1) formal (1) secur (1)
Person: Andrew Wyeth
DBLP: Wyeth:Andrew
Contributed to:
Wrote 1 papers:
- SEKE-2010-WyethZ #architecture #security #specification
- Formal Specification of Software Architecture Security Tactics (AW, CZ), pp. 172–175.