security automata
Recently Published Documents

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Ethics and Security Automata

2017 ◽  
Author(s):  
Sean Welsh
Keyword(s):  
Security Automata

Detecting Laser Fault Injection for Smart Cards Using Security Automata

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

Security automata integrated XACML and security validation

2010 ◽  
Author(s):  
Juan Deng ◽  
Ricahrd Brooks ◽  
Joachim Taiber
Keyword(s):  
Security Automata

scholarly journals A Formal Connection between Security Automata and JML Annotations

2009 ◽  
pp. 340-354 ◽  
Author(s):  
Marieke Huisman ◽  
Alejandro Tamalet
Keyword(s):  
Security Automata

scholarly journals Through Modeling to Synthesis of Security Automata

2007 ◽  
Vol 179 ◽  
pp. 31-46 ◽  
Author(s):  
Fabio Martinell ◽  
Ilaria Matteucci
Keyword(s):  
Security Automata

scholarly journals Specifying and analyzing security automata using CSP-OZ

2007 ◽  
Author(s):  
David Basin ◽  
Ernst-Ruediger Olderog ◽  
Paul E. Sevinc
Keyword(s):  
Security Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document