dsg logo
Home People Research Interests Publications Projects Contact

acid

s

s

 

dsb

 

 

 

 

 

 

Home

 

Welcome to the webpage of the Dependability & Security Group of the Department of Informatics at the Aristotle University of Thessaloniki (A.U.Th.).

 

DSG includes one (1) faculty member, two (2) post-doctoral researchers and (2) researchers (PhD candidates).

 

DSG members have established close collaboration with other faculty members and researchers within the department of Informatics at A.U.Th. and with other research group in Greece and abroad.

 

DSG A.U.Th. research area includes formal methods in system analysis, fault tolerance in dependable systems, systems performance, safety critical and security critical systems, component architectures for embedded control systems and smart card security.

 

A Dependable System is a system that meets its expected behavior in all circumstances. A system's behavior is related to criteria regarding its performance, availability, reliability and correctness properties, like for example safety, liveness, atomicity and consistency.

Dependability and Security are two interelated problems:

  • a security attack is possible to result in a system's failure to meet its expected behavior
  • a correctness property violation like for an example an atomicity violation design flaw results in a non secure system

 

News!!!

5/11/2007

S-OMA Smart Cards Workshop Announced!

9/11/2007 Department of Informatics, Aristotle University. See program here !