5475 search results - page 126 / 1095 » Model Driven Security |
113
Voted
ICOIN
2001
Springer
15 years 5 months ago
2001
Springer
WAP is a set of protocols that optimizes standard TCP/IP/HTTP/HTML protocols, for use under the low bandwidth, high latency conditions often found in wireless networks. But, end-t...
136
click to vote
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...
105
Voted
JTAER
2006
15 years 21 days ago
2006
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
103
click to vote
IJNSEC
2007
15 years 20 days ago
2007
This paper presents a Criterion-Based Role-Based Access Control model in which secure permissions (SP), secure operations (SOp), secure objects (SOb), and secure users (SU) are in...
82
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...