1353 search results - page 90 / 271 » Securing Current and Future Process Control Systems |
137
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
154
click to vote
OWLED
2008
15 years 4 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
142
Voted
USS
2010
15 years 1 months ago
2010
Web browsers are increasingly designed to be extensible to keep up with the Web's rapid pace of change. This extensibility is typically implemented using script-based extensi...
118
click to vote
SP
1998
IEEE
15 years 7 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...