Sciweavers

1353 search results - page 24 / 271
» Securing Current and Future Process Control Systems
Sort
View
127
Voted
IROS
2007
IEEE
109views Robotics» more  IROS 2007»
15 years 8 months ago
Planning for robust execution of humanoid motions using future perceptive capability
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...
Philipp Michel, Christian Scheurer, James J. Kuffn...
178
Voted
HICSS
2012
IEEE
346views Biometrics» more  HICSS 2012»
13 years 10 months ago
The Fundamental Concept of Unified Generalized Model and Data Representation for New Applications in the Future Grid
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
Mladen Kezunovic, Santiago Grijalva, Papiya Dutta,...
ESORICS
2004
Springer
15 years 7 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
Jon A. Solworth, Robert H. Sloan
POPL
2000
ACM
15 years 6 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
CCS
2006
ACM
15 years 6 months ago
On the modeling and analysis of obligations
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Keith Irwin, Ting Yu, William H. Winsborough