John McLean
According to our database1,
John McLean
authored at least 23 papers
between 1982 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
0
1
2
3
4
1
1
1
1
1
1
1
2
1
1
2
1
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
IEEE Trans. Software Eng., 2008
2007
Formal methods in security engineering: where we've been, where we are, where we need to go.
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007
2006
Baker & McKenzie's annual review of developments in EU law relating to IP, IT and telecommunications.
Comput. Law Secur. Rev., 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
2005
Baker & McKenzie's regular article tracking developments in EU law relating to IP, IT & telecommunications.
Comput. Law Secur. Rev., 2005
2002
1999
Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999
1996
IEEE Trans. Software Eng., 1996
1995
Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995
1994
A general theory of composition for trace sets closed under selective interleaving functions.
Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994
Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model.
Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994
1993
Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993
1992
J. Comput. Secur., 1992
1990
Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990
1988
Proceedings of the 1988 IEEE Symposium on Security and Privacy, 1988
1987
Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987
1985
Inf. Process. Lett., 1985
1984
1983
Proceedings of the Logics of Programs, 1983
1982
Rapid prototyping by means of abstract module specifications written as trace axioms.
Proceedings of the workshop on Rapid Prototyping, 1982