Design and analysis of accountable networked and distributed systems