293 search results - page 5 / 59 » Formal Security Analysis with Interacting State Machines |
MLMI
2004
Springer
14 years 27 days ago
2004
Springer
Facial expression and hand gesture analysis plays a fundamental part in emotionally rich man-machine interaction (MMI) systems, since it employs universally accepted non-verbal cu...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
RIAO
2007
13 years 9 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
DATE
2003
IEEE
14 years 25 days ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...