21 search results - page 1 / 5 » Towards Automated Privilege Separation |
ICISS
2007
Springer
13 years 11 months ago
2007
Springer
Applications are subject to threat from a number of attack vectors, and limiting their attack surface is vital. By using privilege separation to constrain application access to pro...
CSL
2004
Springer
13 years 8 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
ISMIR
2005
Springer
13 years 10 months ago
2005
Springer
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
KBSE
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
WISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...