2687 search results - page 356 / 538 » Formal Analysis of PKCS |
159
click to vote
EDOC
2007
IEEE
16 years 26 days ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
162
click to vote
IEEEARES
2007
IEEE
16 years 25 days ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
180
click to vote
SMC
2007
IEEE
16 years 24 days ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
147
click to vote
SMI
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
146
click to vote
BPM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...