3821 search results - page 365 / 765 » A Security Model for Aglets |
168
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
163
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
169
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
154
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
The Ideal-Cipher Model of a blockcipher is a well-known and widely-used model dating back to Shannon [24] and has seen frequent use in proving the security of various cryptographi...
158
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...