Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sytems and secure services modeling. 							
						
							
					 															
					Bhavani M. Thuraisingham, Kevin W. Hamlen