The STRIDE Threat Model ????Spoofing identity ????Tampering with data ????Repudiation ????Information disclosure ????Denial of service ????Elevation of privilege Secure Programming Principles ????Don’t trust user input ????Assume all user input is malicious Handling User Input: Why Worry? ????User data attacks: ????Reveal implementation details ????Create malicious data ????Execute malicious script ????Access restricted (more…)

Abstract. Answer set programming (ASP) is a declarative problem solving framework introduced by Michael Gelfond and Vladimir Lifschitz in the late ’80s. ASP has received much attention by researchers for its expressiveness and simpleness so that well-engineered and optimized implementations have been developed for it. However, state-of-the-art answer set solvers have still a strong (more…)

1 Introduction Cladistics (or phylogenetic systematics), developed by Willi Hennig [1], is the study of evolutionary relations between species based on their shared traits. Represented diagrammatically, these relations can form a tree whose leaves represent the species, internal vertices represent their ancestors, and edges represent the genetic relationships between them. Such a tree is called a “phylogenetic tree” (or a “phylogeny”). We consider (more…)

In this book we are going to build a content-based ASP.NET website. This website will consist of a number of modules, which will all fit together to produce the finished product. We will build each module in a standard order: ? Identify the problem – What do we want to do? What restrictions or other factors do we need to take into account? ? Produce a design – Decide what features we need to solve the problem. Get a broad idea of how the solution (more…)

Abstract We define a new heuristic hDS for ASP, and implement it in the (disjunctive) ASP system DLV. The new heuristic improves the evaluation of P2 /P2 – hard ASP programs while maintaining the benign behaviour of the well-assessed heuristic of DLV on NP problems. We experiment with the new heuristic on QBFs. hDS significantly outperforms the heuristic of DLV on hard 2QBF problems. We compare also the DLV system (with the new (more…)

The need for ASP Why bother with ASP at all, when HTML can serve your needs? If you want to display information, all you have to do is fire up your favorite text editor, type in a few HTML tags, and save it as an HTML file. Bingo, you’re done! But wait – what if you want to display information that changes? Supposing you’re writing a page that provides constantly changing information to your visitors, for example, weather reports, stock quotes, a list of your (more…)