624 search results - page 1 / 125 » Application of Lightweight Formal Methods to Software Securi... |
WETICE
2005
IEEE
13 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
ISSE
2010
13 years 3 months ago
2010
FUIN
2006
13 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
ISSE
2010
13 years 3 months ago
2010