5475 search results - page 173 / 1095 » Model Driven Security |
194
click to vote
CSFW
2007
IEEE
16 years 24 days 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...
170
click to vote
IRI
2006
IEEE
16 years 14 days 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...
167
click to vote
RE
2005
Springer
15 years 12 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...
184
click to vote
ACISP
2006
Springer
15 years 10 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...
171
click to vote
CCS
2008
ACM
15 years 8 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...