Mark Reith

According to our database, Mark Reith authored at least 8 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Battlespace Next(TM).

Nathaniel Flack, Alan C. Lin, Gilbert L. Peterson, Mark Reith

Int. J. Serious Games, 2020

2017

Cyber terrain mission mapping: Tools and methodologies.

Jeffrey Guion, Mark Reith

Proceedings of the 2017 International Conference on Cyber Conflict, 2017

2014

Formal verification of security properties in trust management policy.

Jianwei Niu, Mark Reith, William H. Winsborough

J. Comput. Secur., 2014

2009

Toward practical analysis for trust management policy.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

Role-based trust management security policy analysis and correction environment (RT-SPACE).

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Engineering Trust Management into Software Models.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Apply Model Checking to Security Analysis in Trust Management.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

2002

An Examination of Digital Forensic Models.

Mark Reith, Clint Carr, Gregg H. Gunsch

Int. J. Digit. EVid., 2002