181 search results - page 20 / 37 » Automated Verification of UMLsec Models for Security Require... |
82
Voted
SP
2002
IEEE
15 years 2 days ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
105
Voted
INFORMATICALT
2006
15 years 12 days ago
2006
Abstract. This paper presents identity based serial and parallel multisignature schemes using bilinear pairings. Our serial multisignature scheme requires a forced verification at ...
147
click to vote
KI
2010
Springer
14 years 7 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
110
Voted
SIGCOMM
2010
ACM
15 years 19 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
89
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...