Bryan Rossebo

According to our database, Bryan Rossebo authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Using SPARK-Ada to Model and Verify a MILS Message Router.

Bryan Rossebo, Paul W. Oman, Jim Alves-Foss, Ryan Blue, Paul Jaszkowiak

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006