Sciweavers

3420 search results - page 98 / 684
» A Language-Based Approach to Security
Sort
View
ASPDAC
2007
ACM
103views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Towards scalable and secure execution platform for embedded systems
Hiroaki Inoue, Masato Edahiro, Junji Sakai
124
Voted
CCS
2009
ACM
15 years 10 months ago
Secure in-VM monitoring using hardware virtualization
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
Monirul I. Sharif, Wenke Lee, Weidong Cui, Andrea ...
155
Voted
KBSE
2007
IEEE
15 years 10 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
127
Voted
ECAI
2004
Springer
15 years 9 months ago
Querying the Semantic Web with Corese Search Engine
This paper presents an ontology-based approach for web querying, using semantic metadata. We propose a query language based on ontologies and emphasize its ability to express appro...
Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Z...
CIDR
2007
128views Algorithms» more  CIDR 2007»
15 years 5 months ago
Cayuga: A General Purpose Event Monitoring System
We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing ...
Alan J. Demers, Johannes Gehrke, Biswanath Panda, ...