2257 search results - page 187 / 452 » Secure program partitioning |
103
Voted
IJNSEC
2008
15 years 24 days ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
137
Voted
MOBISEC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
81
Voted
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
117
click to vote
CCS
1998
ACM
15 years 5 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
101
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...