Travelled to:1 × South Africa
1 × The Netherlands
1 × USA
Collaborated with:J.M.Wing K.Fisler S.Krishnamurthi L.A.Meyerovich
Talks about:polici (2) confidenti (1) privaci (1) extract (1) control (1) analysi (1) method (1) impact (1) formal (1) condit (1)
Person: Michael Carl Tschantz
DBLP: Tschantz:Michael_Carl
Contributed to:
2009
2008
2005Wrote 3 papers:
- FM-2009-TschantzW #formal method #privacy
- Formal Methods for Privacy (MCT, JMW), pp. 1–15.
- SEFM-2008-TschantzW #policy
- Extracting Conditional Confidentiality Policies (MCT, JMW), pp. 107–116.
- ICSE-2005-FislerKMT #impact analysis #policy #verification
- Verification and change-impact analysis of access-control policies (KF, SK, LAM, MCT), pp. 196–205.