5475 search results - page 709 / 1095 » Model Driven Security |
175
click to vote
ITP
2010
15 years 11 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
155
click to vote
ICCCN
2008
IEEE
16 years 2 months ago
2008
IEEE
—We investigate a quasi-trusted QKD relaying model. This is a three-party communication model. Two nodes Alice and Bob want to establish a secret key. However, the distance betwe...
179
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
187
click to vote
DISCEX
2003
IEEE
16 years 28 days ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
237
click to vote
BPM
2003
Springer
16 years 26 days ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...