963 search results - page 139 / 193 » Formal Analysis of BPMN Models Using Event-B |
113
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
131
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
105
click to vote
DISCEX
2003
IEEE
15 years 6 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
127
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper describes a procedure for minimizing the power consumption in a boolean network under the zero delay model. Power is minimized by modifying the function of each interme...
110
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...