Sciweavers

5475 search results - page 141 / 1095
» Model Driven Security
Sort
View
78
Voted
CCS
2010
ACM
15 years 1 months ago
Inference and analysis of formal models of botnet command and control protocols
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
70
Voted
ISI
2006
Springer
15 years 23 days ago
A Trust Model for Uncertain Interactions in Ubiquitous Environments
Hung Le Xuan, Hassan Jameel, Seong Jin Cho, Weiwei...
84
Voted
ISSE
2010
14 years 11 months ago
Towards model checking executable UML specifications in mCRL2
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...
CIS
2006
Springer
15 years 4 months ago
Security Contexts in Autonomic Systems
Autonomic Computing Systems (ACS) are expected to achieve the same level of self-regulation and pervasiveness as human autonomic systems. Because of the features of ACS, the tradit...
Kaiyu Wan, Vasu S. Alagar