《國外經典教材·計算機科學與技術:UML安全系統(tǒng)開發(fā)》系統(tǒng)地介紹了通過擴展可視化UML建模語言所建立的安全工程方法——UMLsec方法,以及它在安全軟件開發(fā)過程中的實際應用,目標是使得開發(fā)人員可以把安全集成到軟件工程過程的每一個階段中。書中首先闡述了UMLsec方法及其語義,接著論述了UMLsec如何描述系統(tǒng)的安全需求與假設,如何引用精確的語義評估系統(tǒng)規(guī)范與安會需求的一致性,如何實施安全系統(tǒng)設計原則和應用安全模式等,并通過大量實例說明了用UMLsec開發(fā)安全系統(tǒng)的基本步驟,然后介紹了UMLsec支持工具的開發(fā)和使用,最后還為高級專業(yè)人員引入了UML機、UML機系統(tǒng)和安全屬性的形式定義,方便他們規(guī)范和驗證安全系統(tǒng)。