ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Ethics and Security Automata
10.4324/9781315168951
◽
2017
◽
Author(s):
Sean Welsh
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
◽
Cited By ~ 3
Author(s):
Anand Kumar
◽
Jay Ligatti
◽
Yi-Cheng Tu
Keyword(s):
Database Privacy
◽
Security Automata
◽
Model Approach
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
◽
Cited By ~ 2
Author(s):
Guillaume Bouffard
◽
Bhagyalekshmy N. Thampi
◽
Jean-Louis Lanet
Keyword(s):
Fault Injection
◽
Smart Cards
◽
Laser Fault Injection
◽
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
◽
Cited By ~ 1
Author(s):
Juan Deng
◽
Ricahrd Brooks
◽
Joachim Taiber
Keyword(s):
Security Automata
Download Full-text
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
◽
Cited By ~ 2
Author(s):
Marieke Huisman
◽
Alejandro Tamalet
Keyword(s):
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
◽
Cited By ~ 35
Author(s):
Fabio Martinell
◽
Ilaria Matteucci
Keyword(s):
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
◽
Cited By ~ 8
Author(s):
David Basin
◽
Ernst-Ruediger Olderog
◽
Paul E. Sevinc
Keyword(s):
Security Automata
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close