publication venue for

• A method for producing requirement-specific protocol graphs in a flexible network architecture.  58:1379-1388. 2013
• A secure log architecture to support remote auditing.  57:1578-1591. 2013