5475 search results - page 173 / 1095 » Model Driven Security |
147
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
132
Voted
IRI
2006
IEEE
15 years 9 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
135
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
141
Voted
ACISP
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we propose an efficient multi-receiver identity based signcryption scheme which only needs one pairing computation to signcrypt a message for n receivers and can pro...
133
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...