A Formal Connection between Security Automata and JML Annotations

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00593-0_23 ◽

2009 ◽

pp. 340-354 ◽

Author(s):

Marieke Huisman ◽

Alejandro Tamalet

Keyword(s):

Security Automata

Download Full-text

Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach

Lecture Notes in Computer Science - Web Information Systems Engineering – WISE 2015 ◽

10.1007/978-3-319-26187-4_42 ◽

2015 ◽

pp. 458-472 ◽

Author(s):

Anand Kumar ◽

Jay Ligatti ◽

Yi-Cheng Tu

Keyword(s):

Database Privacy ◽

Security Automata ◽

Download Full-text

Through Modeling to Synthesis of Security Automata

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.08.029 ◽

2007 ◽

Vol 179 ◽

pp. 31-46 ◽

Author(s):

Fabio Martinell ◽

Ilaria Matteucci

Keyword(s):

Security Automata

Download Full-text

Security automata integrated XACML and security validation

Proceedings of the IEEE SoutheastCon 2010 (SoutheastCon) ◽

10.1109/secon.2010.5453856 ◽

2010 ◽

Author(s):

Juan Deng ◽

Ricahrd Brooks ◽

Joachim Taiber

Keyword(s):

Security Automata

Download Full-text

Detecting Laser Fault Injection for Smart Cards Using Security Automata

Communications in Computer and Information Science - Security in Computing and Communications ◽

10.1007/978-3-642-40576-1_3 ◽

2013 ◽

pp. 18-29 ◽

Author(s):

Guillaume Bouffard ◽

Bhagyalekshmy N. Thampi ◽

Jean-Louis Lanet

Keyword(s):

Fault Injection ◽

Smart Cards ◽

Laser Fault Injection ◽

Security Automata

Download Full-text

Specifying and analyzing security automata using CSP-OZ

Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 ◽

10.1145/1229285.1229299 ◽

2007 ◽

Author(s):

David Basin ◽

Ernst-Ruediger Olderog ◽

Paul E. Sevinc

Keyword(s):

Security Automata

Download Full-text

Ethics and Security Automata

10.4324/9781315168951 ◽

2017 ◽

Author(s):

Sean Welsh

Keyword(s):

Security Automata

Download Full-text