5475 search results - page 276 / 1095 » Model Driven Security |
214
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
169
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
: The Secure Shell (SSH) protocol strives to protect the privacy of its users in several ways. On one hand, the strong encryption and authentication algorithms that it adopts provi...
167
click to vote
MMMACNS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...
161
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
213
click to vote
DATESO
2009
15 years 4 months ago
2009
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...