181 search results - page 28 / 37 » Automated Verification of UMLsec Models for Security Require... |
119
click to vote
SP
2002
IEEE
15 years 19 hour ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
104
click to vote
CTRSA
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...
116
click to vote
DSN
2009
IEEE
14 years 10 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
115
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
112
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...