Search Sciweavers | Sciweavers

32

TISSEC
2010

142views more TISSEC 2010»

A logical specification and analysis for SELinux MLS policy

13 years 5 months ago

The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...

Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...

claim paper

Read More »

27

click to vote

DLOG
2010

124views Automated Reasoning» more DLOG 2010»

The Logical Difference For Fuzzy EL+ Ontologies

13 years 8 months ago

Download www.cs.uwaterloo.ca

Abstract. Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it i...

Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiya...

claim paper

Read More »

39

click to vote

RELMICS
1998
Springer

135views Theoretical Computer Science» more RELMICS 1998»

Coping with semilattices of relations in logics with relative accessibility relations

14 years 2 months ago

Download www.lsv.ens-cachan.fr

We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...

Stéphane Demri

claim paper

Read More »

31

click to vote

COMPSAC
2006
IEEE

142views Software Engineering» more COMPSAC 2006»

Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing

14 years 4 months ago

Download www.cs.virginia.edu

In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...

Zhengping Wu, Alfred C. Weaver

claim paper

Read More »

86

click to vote

FUZZY
1999
Springer

314views Fuzzy Logic» more FUZZY 1999»

Control of Robot Arm Approach by Fuzzy Pattern Comparison Technique

14 years 2 months ago