scholarly journals Visualizing Z notation in HTML documents

2006 ◽  
pp. 81-95 ◽  
Author(s):  
Paolo Ciancarini ◽  
Cecilia Mascolo ◽  
Fabio Vitali
Keyword(s):  
Z Notation

Z-Notation V1.1

1995 ◽  
Author(s):  
John Nicholls
Keyword(s):  
Z Notation

Selected MRP II Standard System requirements presented in Z‐notation

Kybernetes ◽  
2009 ◽  
Vol 38 (7/8) ◽  
pp. 1216-1233
Author(s):  
Marek J. Greniewski
Keyword(s):  
Standard System ◽  
Z Notation ◽  
Mrp Ii ◽  
System Requirements

Representation of Raspberry PI Practice in Z Notation

2016 ◽  
Vol 15 (5) ◽  
pp. 1-9
Author(s):  
Wen Jinjie ◽  
Guo Yang ◽  
Zhao Zhengxu
Keyword(s):  
Raspberry Pi ◽  
Z Notation

scholarly journals An Action-Based Fine-Grained Access Control Mechanism for Structured Documents and Its Application

2014 ◽  
Vol 2014 ◽  
pp. 1-13 ◽  
Author(s):  
Mang Su ◽  
Fenghua Li ◽  
Zhi Tang ◽  
Yinyan Yu ◽  
Bo Zhou
Keyword(s):  
Access Control ◽  
Control Mechanism ◽  
Usage Control ◽  
Z Notation ◽  
Control Protocol ◽  
Fine Grained ◽  
Structured Documents ◽  
Access Control Mechanism

This paper presents an action-based fine-grained access control mechanism for structured documents. Firstly, we define a describing model for structured documents and analyze the application scenarios. The describing model could support the permission management on chapters, pages, sections, words, and pictures of structured documents. Secondly, based on the action-based access control (ABAC) model, we propose a fine-grained control protocol for structured documents by introducing temporal state and environmental state. The protocol covering different stages from document creation, to permission specification and usage control are given by using the Z-notation. Finally, we give the implementation of our mechanism and make the comparisons between the existing methods and our mechanism. The result shows that our mechanism could provide the better solution of fine-grained access control for structured documents in complicated networks. Moreover, it is more flexible and practical.

“Relationship” specification in Z-notation

2011 ◽  
Vol 8 (4) ◽  
pp. 391-394
Author(s):  
V. Dimitrov
Keyword(s):  
Z Notation
Sign in / Sign up

Export Citation Format

Share Document