Journals in DBLP

Computers & Security
2010, volume: 29, number: 3

1. 
   Special issue on software engineering for secure systems. [Citation Graph (, )][DBLP]
   
   
2. 
   Provably correct Java implementations of Spi Calculus security protocols specifications. [Citation Graph (, )][DBLP]
   
   
3. 
   Runtime verification of cryptographic protocols. [Citation Graph (, )][DBLP]
   
   
4. 
   A knowledgeable security model for distributed health information systems. [Citation Graph (, )][DBLP]
   
   
5. 
   A framework of composable access control features: Preserving separation of access control concerns from models to code. [Citation Graph (, )][DBLP]