2270 search results - page 38 / 454 » Modelling Secure IT Systems - A Survey |
152
Voted
IAJIT
2011
14 years 6 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
121
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
158
click to vote
MOVEP
2000
15 years 6 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
144
click to vote
LADC
2007
Springer
15 years 9 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
104
click to vote
IJNSEC
2008
15 years 3 months ago
2008
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...