2007 IEEE Information Assurance Workshop : West Point, NY, 20-22 June 2007
| 2007 IEEE Information Assurance Workshop : West Point, NY, 20-22 June 2007 |
| Pubbl/distr/stampa | IEEE |
| Disciplina | 005.8 |
| Soggetto topico |
Computer networks - Security measures
Computer networks - Access control |
| ISBN | 1-5090-8611-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2007 IEEE SMC Information Assurance and Security Workshop |
| Record Nr. | UNISA-996201888603316 |
| IEEE | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2007 IEEE Information Assurance Workshop : West Point, NY, 20-22 June 2007
| 2007 IEEE Information Assurance Workshop : West Point, NY, 20-22 June 2007 |
| Pubbl/distr/stampa | IEEE |
| Disciplina | 005.8 |
| Soggetto topico |
Computer networks - Security measures
Computer networks - Access control |
| ISBN |
9781509086115
1509086110 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2007 IEEE SMC Information Assurance and Security Workshop |
| Record Nr. | UNINA-9910143009203321 |
| IEEE | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2011 European Intelligence and Security Informatics Conference
| 2011 European Intelligence and Security Informatics Conference |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.6 |
| Soggetto topico | Computer networks - Access control |
| ISBN |
9780769544069
0769544061 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141208703321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2017 20th Conference on Innovations in Clouds, Internet and Networks (ICIN) / / Institute of Electrical and Electronics Engineers
| 2017 20th Conference on Innovations in Clouds, Internet and Networks (ICIN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.6 |
| Soggetto topico |
Computer networks
Computer networks - Access control |
| ISBN | 1-5090-3672-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2017 20th Conference on Innovations in Clouds, Internet and Networks |
| Record Nr. | UNISA-996280472203316 |
| Piscataway, NJ : , : IEEE, , 2017 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2017 20th Conference on Innovations in Clouds, Internet and Networks (ICIN) / / Institute of Electrical and Electronics Engineers
| 2017 20th Conference on Innovations in Clouds, Internet and Networks (ICIN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.6 |
| Soggetto topico |
Computer networks
Computer networks - Access control |
| ISBN | 1-5090-3672-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2017 20th Conference on Innovations in Clouds, Internet and Networks |
| Record Nr. | UNINA-9910209349103321 |
| Piscataway, NJ : , : IEEE, , 2017 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ABAC '16 : proceedings of the 2016 ACM International Workshop on Attribute Based Access Control : March 11, 2016, New Orleans, LA, USA / / sponsored by ACM SIGSAC
| ABAC '16 : proceedings of the 2016 ACM International Workshop on Attribute Based Access Control : March 11, 2016, New Orleans, LA, USA / / sponsored by ACM SIGSAC |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (76 pages) |
| Disciplina | 005.3 |
| Soggetto topico |
Application software
Data protection Computer networks - Access control |
| ISBN | 1-4503-4079-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Attribute Based Access Control 2016 : proceedings of the 2016 Association for Computing Machinery International Workshop on Attribute Based Access Control : March 11, 2016, New Orleans, LA, USA
Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control Proceedings of the 2016 Association for Computing Machinery International Workshop on Attribute Based Access Control CODASPY '16 : sixth ACM Conference on Data and Application Security and Privacy : New Orleans, LA, USA, March 09-11, 2016 Conference on Data and Application Security and Privacy 2016 : sixth ACM Conference on Data and Application Security and Privacy : New Orleans, LA, USA, March 09-11, 2016 |
| Record Nr. | UNINA-9910376554303321 |
| New York : , : ACM, , 2016 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in web and network technologies, and information management : APWeb/WAIM 2007 international workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, proceedings / / Kevin Chen-Chuan Chang [and six others] (editors)
| Advances in web and network technologies, and information management : APWeb/WAIM 2007 international workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, proceedings / / Kevin Chen-Chuan Chang [and six others] (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XXIII, 707 p.) |
| Disciplina | 004.678 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
World Wide Web - Technological innovations
Computer networks - Management Database management Application software - Development Computer networks - Access control |
| ISBN | 3-540-72909-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Access and Dissemination I -- Cost Framework for a Heterogeneous Distributed Semi-structured Environment -- Cost-Based Vertical Fragmentation for XML -- Efficiently Crawling Strategy for Focused Searching Engine -- QoS-Guaranteed Ring Replication Management with Strong Consistency -- A Mobile Database Sharing Protocol to Increase Data Availability in Mobile Environments -- Data Mining -- Mining Recent Frequent Itemsets over Data Streams with a Time-Sensitive Sliding Window -- Mining Web Transaction Patterns in an Electronic Commerce Environment -- Mining Purpose-Based Authorization Strategies in Database System -- RSP-DS: Real Time Sequential Pattern Analysis over Data Streams -- Sensor, P2P, and Grid Networks I -- Investigative Queries in Sensor Networks -- A Taxonomy-Based Approach for Constructing Semantics-Based Super-Peer Networks -- A Comparative Study of Replica Placement Strategies in Data Grids -- A Workload Balancing Based Approach to Discourage Free Riding in Peer-to-Peer Network -- QoS-Based Services Selecting and Optimizing Algorithms on Grid -- Information access and Dissemination 2 -- Bayesian Method Based Trusted Overlay for Information Retrieval over Networks -- Managing a Geographic Database from Mobile Devices Through OGC Web Services -- Real-Time Creation Method of Personalized Mobile Web Contents for Ubiquitous Contents Access -- Stream Data Management -- The Golden Mean Operator Scheduling Strategy in Data Stream Systems -- Continuous Skyline Tracking on Update Data Streams -- A Hybrid Algorithm for Web Document Clustering Based on Frequent Term Sets and k-Means -- Sensor, P2P, and Grid Networks 2 -- OMSI-Tree: Power-Awareness Query Processing over Sensor Networks by Removing Overlapping Regions -- On Studying Front-Peer Attack-Resistant Trust and Reputation Mechanisms Based on Enhanced Spreading Activation Model in P2P Environments -- A Load Balancing Method Using Ring Network in the Grid Database -- Design and Implementation of a System for Environmental Monitoring Sensor Network -- Policy Based Scheduling for Resource Allocation on Grid -- Potpourri -- Characterizing DSS Workloads from the Processor Perspective -- Exploiting Connection Relation to Compress Data Graph -- Indexing the Current Positions of Moving Objects on Road Networks -- Keynote Talk -- DBMSs with Native XML Support: Towards Faster, Richer, and Smarter Data Management -- A Personalized Re-ranking Algorithm Based on Relevance Feedback -- An Investigation and Conceptual Models of Podcast Marketing -- A User Study on the Adoption of Location Based Services -- Email Community Detection Using Artificial Ant Colony Clustering -- EviRank: An Evidence Based Content Trust Model for Web Spam Detection -- A Novel Factoid Ranking Model for Information Retrieval -- Dynamic Composition of Web Service Based on Coordination Model -- An Information Retrieval Method Based on Knowledge Reasoning -- Research on Personalized Recommendation Algorithm in E-Supermarket System -- XML Normal Forms Based on Constraint-Tree-Based Functional Dependencies -- Untyped XQuery Canonization -- Web Search Tailored Ontology Evaluation Framework -- Full Paper -- An Overview of the Business Process Maturity Model (BPMM) -- Process Mining: Extending ?-Algorithm to Mine Duplicate Tasks in Process Logs -- A Distributed Genetic Algorithm for Optimizing the Quality of Grid Workflow -- Safety Analysis and Performance Evaluation of Time WF-nets -- Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification -- Bridging Organizational Structure and Information System Architecture Through Process -- Relation-Driven Business Process-Oriented Service Discovery -- Workflow Message Queue’s Performance Effect Measurements on an EJB-Based Workflow Management System -- Short Paper -- RFID Application Model and Performance for Postal Logistics -- An Organization and Task Based Access Control Model for Workflow System -- A Method of Web Services Composition Based on Service Alliance -- Toward a Lightweight Process-Aware Middleware -- Automatic Generation of Web Service Workflow Using a Probability Based Process-Semantic Repository -- A Three-Dimensional Customer Classification Model Based on Knowledge Discovery and Empirical Study -- QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning -- SOA-Based Collaborative Modeling Method for Cross-Organizational Business Process Integration -- Model Checking for BPEL4WS with Time -- A Version Management of Business Process Models in BPMS -- Research on Architecture and Key Technology for Service-Oriented Workflow Performance Analysis -- WPE Models and Applications -- The Study on Internet-Based Face Recognition System Using Principal Component Analysis -- Semantic Representation of RTBAC: Relationship-Based Access Control Model -- A Code-Based Multi-match Packet Classification with TCAM -- Security and Services of WPE -- Home Network Device Authentication: Device Authentication Framework and Device Certificate Profile -- P-IDC: Information Security and Consideration in Building Internet Data Centers for Pervasive Environment -- Improvement of an Authenticated Key Agreement Protocol -- A Mechanism for Securing Digital Evidences in Pervasive Environments -- A Secure Chaotic Hash-Based Biometric Remote User Authentication Scheme Using Mobile Devices -- WSN/RFID/Web Services -- Adapting Web Services Security Standards for Mobile and Wireless Environments -- Coexistence Proof Using Chain of Timestamps for Multiple RFID Tags -- A Design of Authentication Protocol for Multi-key RFID Tag -- An Efficient Fragile Watermarking for Web Pages Tamper-Proof -- Classification of Key Management Schemes for Wireless Sensor Networks -- Data Management and Access Control for WPE -- An Efficient Algorithm for Proportionally Fault-Tolerant Data Mining -- SOGA: Fine-Grained Authorization for Self-Organizing Grid -- Permission-Centric Hybrid Access Control. |
| Record Nr. | UNISA-996465565803316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Attribute-Based Access Control
| Attribute-Based Access Control |
| Autore | Hu Vincent |
| Pubbl/distr/stampa | Boston, Massachusetts : , : Artech House, , 2018 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 005.8 |
| Collana | Artech House information security and privacy series |
| Soggetto topico |
Computer security
Computers - Access control Computer networks - Access control |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-63081-496-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Attribute-Based Access Control; Contents; Preface; Acknowledgements; Intended Audience; 1 Introduction; 1.1 Overview; 1.2 Evolution and Brief History of Access Control; 1.2.1 Academic Contributions; 1.2.2 Military Concerns; 1.2.3 Bell and LaPadula Security Model; 1.2.5 Discontent; 1.2.6 Role-based Access Control; 1.2.7 Emergence of ABAC; References; 2 Access Control Models and Approaches; 2.1 Introduction; 2.2 Terminology; 2.3 Access Control Models and Policies; 2.4 Policy Enforcement; 2.5 Discretionary Access Control; 2.6 Mandatory Access Control Models; 2.6.1 Multilevel Security
2.6.2 Chinese Wall Policy and Model2.6.3 Role-Based Access Control; References; 3 Attribute Based Access Control; 3.1 Introduction; 3.2 ABAC Architectures and Functional Components; 3.3 Logical-Formula and Enumerated ABAC Policy Models; 3.4 ABAC Model-Applications Primatives; 3.5 Hierarchical Group and Attribute-Based Access Control; 3.6 Label-Based ABAC Model with Enumerated Authorization Policy; 3.7 Hybrid Designs Combining Attributes with Roles; 3.8 ABAC and RBAC Hybrid Models; 3.9 Complexities of RBAC Role Structures; 3.10 Complexities of ABAC Rule Sets; 3.11 Dynamic Roles 3.12 Role Centric Structure3.13 Attribute Centric Structure; 3.14 Conclusion; References; 4 ABAC Deployment Using XACML; 4.1 Introduction; 4.2 Business and Technical Drivers for XACML; 4.3 XACML Standard-Components and Their Interactions; 4.3.1 XACML Policy Language Model; 4.3.2 XACML Context (Request and Response); 4.3.3 XACML Framework (Data Flow Model); 4.4 ABAC Deployment Using XACML; 4.4.1 Access Policy Formulation and Encoding; 4.4.2 Request/Response Formulation; 4.4.3 Policy Evaluation and Access Decision; 4.5 Implementation of XACML Framework; 4.5.1 Attribute Support and Management 4.5.2 Delegation4.6 Review and Analysis; References; Appendix A; 5 Next Generation Access Control; 5.1 Introduction; 5.2 Policy and Attribute Elements; 5.3 Relations; 5.3.1 Assignments and Associations; 5.3.2 Prohibitions Denials; 5.3.3 Obligations; 5.4 NGAC Decision Function; 5.5 Delegation of Access Rights; 5.6 NGAC Administrative Commands and Routines; 5.7 Arbitrary Data Service Operations; 5.8 NGAC Functional Architecture; 5.8.1 Resource Access; 5.8.2 Administrative Access; 5.9 Conclusion; References; 6 ABAC Policy Verifications and Testing; 6.1 Introduction; 6.2 ABAC Policy Classes 6.2.1 Static Policy Class6.2.2 Dynamic Policy Class; 6.2.3 Historical Policy Class; 6.3 Access Control Safety and Faults; 6.4 Verification Approaches; 6.4.1 Model Verification; 6.4.2 Coverage and Confinements Semantic Faults; 6.4.3 Property Confinement Checking; 6.4.4 Implementation Test; 6.5 Implementation Considerations*; 6.6 Verification Tools; 6.6.1 Multiterminal Binary Decision Diagrams; 6.6.2 ACPT; 6.6.3 Formal Methods; 6.7 Conclusion; References; 7 Attribute Consideration; 7.1 Introduction; 7.2 ABAC Attributes; 7.3 Consideration Elements; 7.4 Preparation Consideration |
| Record Nr. | UNINA-9910511368203321 |
Hu Vincent
|
||
| Boston, Massachusetts : , : Artech House, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Attribute-Based Access Control
| Attribute-Based Access Control |
| Autore | Hu Vincent |
| Pubbl/distr/stampa | Boston, Massachusetts : , : Artech House, , 2018 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 005.8 |
| Collana | Artech House information security and privacy series |
| Soggetto topico |
Computer security
Computers - Access control Computer networks - Access control |
| ISBN | 1-63081-496-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Attribute-Based Access Control; Contents; Preface; Acknowledgements; Intended Audience; 1 Introduction; 1.1 Overview; 1.2 Evolution and Brief History of Access Control; 1.2.1 Academic Contributions; 1.2.2 Military Concerns; 1.2.3 Bell and LaPadula Security Model; 1.2.5 Discontent; 1.2.6 Role-based Access Control; 1.2.7 Emergence of ABAC; References; 2 Access Control Models and Approaches; 2.1 Introduction; 2.2 Terminology; 2.3 Access Control Models and Policies; 2.4 Policy Enforcement; 2.5 Discretionary Access Control; 2.6 Mandatory Access Control Models; 2.6.1 Multilevel Security
2.6.2 Chinese Wall Policy and Model2.6.3 Role-Based Access Control; References; 3 Attribute Based Access Control; 3.1 Introduction; 3.2 ABAC Architectures and Functional Components; 3.3 Logical-Formula and Enumerated ABAC Policy Models; 3.4 ABAC Model-Applications Primatives; 3.5 Hierarchical Group and Attribute-Based Access Control; 3.6 Label-Based ABAC Model with Enumerated Authorization Policy; 3.7 Hybrid Designs Combining Attributes with Roles; 3.8 ABAC and RBAC Hybrid Models; 3.9 Complexities of RBAC Role Structures; 3.10 Complexities of ABAC Rule Sets; 3.11 Dynamic Roles 3.12 Role Centric Structure3.13 Attribute Centric Structure; 3.14 Conclusion; References; 4 ABAC Deployment Using XACML; 4.1 Introduction; 4.2 Business and Technical Drivers for XACML; 4.3 XACML Standard-Components and Their Interactions; 4.3.1 XACML Policy Language Model; 4.3.2 XACML Context (Request and Response); 4.3.3 XACML Framework (Data Flow Model); 4.4 ABAC Deployment Using XACML; 4.4.1 Access Policy Formulation and Encoding; 4.4.2 Request/Response Formulation; 4.4.3 Policy Evaluation and Access Decision; 4.5 Implementation of XACML Framework; 4.5.1 Attribute Support and Management 4.5.2 Delegation4.6 Review and Analysis; References; Appendix A; 5 Next Generation Access Control; 5.1 Introduction; 5.2 Policy and Attribute Elements; 5.3 Relations; 5.3.1 Assignments and Associations; 5.3.2 Prohibitions Denials; 5.3.3 Obligations; 5.4 NGAC Decision Function; 5.5 Delegation of Access Rights; 5.6 NGAC Administrative Commands and Routines; 5.7 Arbitrary Data Service Operations; 5.8 NGAC Functional Architecture; 5.8.1 Resource Access; 5.8.2 Administrative Access; 5.9 Conclusion; References; 6 ABAC Policy Verifications and Testing; 6.1 Introduction; 6.2 ABAC Policy Classes 6.2.1 Static Policy Class6.2.2 Dynamic Policy Class; 6.2.3 Historical Policy Class; 6.3 Access Control Safety and Faults; 6.4 Verification Approaches; 6.4.1 Model Verification; 6.4.2 Coverage and Confinements Semantic Faults; 6.4.3 Property Confinement Checking; 6.4.4 Implementation Test; 6.5 Implementation Considerations*; 6.6 Verification Tools; 6.6.1 Multiterminal Binary Decision Diagrams; 6.6.2 ACPT; 6.6.3 Formal Methods; 6.7 Conclusion; References; 7 Attribute Consideration; 7.1 Introduction; 7.2 ABAC Attributes; 7.3 Consideration Elements; 7.4 Preparation Consideration |
| Record Nr. | UNINA-9910796811703321 |
Hu Vincent
|
||
| Boston, Massachusetts : , : Artech House, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Attribute-Based Access Control
| Attribute-Based Access Control |
| Autore | Hu Vincent |
| Pubbl/distr/stampa | Boston, Massachusetts : , : Artech House, , 2018 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 005.8 |
| Collana | Artech House information security and privacy series |
| Soggetto topico |
Computer security
Computers - Access control Computer networks - Access control |
| ISBN | 1-63081-496-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Attribute-Based Access Control; Contents; Preface; Acknowledgements; Intended Audience; 1 Introduction; 1.1 Overview; 1.2 Evolution and Brief History of Access Control; 1.2.1 Academic Contributions; 1.2.2 Military Concerns; 1.2.3 Bell and LaPadula Security Model; 1.2.5 Discontent; 1.2.6 Role-based Access Control; 1.2.7 Emergence of ABAC; References; 2 Access Control Models and Approaches; 2.1 Introduction; 2.2 Terminology; 2.3 Access Control Models and Policies; 2.4 Policy Enforcement; 2.5 Discretionary Access Control; 2.6 Mandatory Access Control Models; 2.6.1 Multilevel Security
2.6.2 Chinese Wall Policy and Model2.6.3 Role-Based Access Control; References; 3 Attribute Based Access Control; 3.1 Introduction; 3.2 ABAC Architectures and Functional Components; 3.3 Logical-Formula and Enumerated ABAC Policy Models; 3.4 ABAC Model-Applications Primatives; 3.5 Hierarchical Group and Attribute-Based Access Control; 3.6 Label-Based ABAC Model with Enumerated Authorization Policy; 3.7 Hybrid Designs Combining Attributes with Roles; 3.8 ABAC and RBAC Hybrid Models; 3.9 Complexities of RBAC Role Structures; 3.10 Complexities of ABAC Rule Sets; 3.11 Dynamic Roles 3.12 Role Centric Structure3.13 Attribute Centric Structure; 3.14 Conclusion; References; 4 ABAC Deployment Using XACML; 4.1 Introduction; 4.2 Business and Technical Drivers for XACML; 4.3 XACML Standard-Components and Their Interactions; 4.3.1 XACML Policy Language Model; 4.3.2 XACML Context (Request and Response); 4.3.3 XACML Framework (Data Flow Model); 4.4 ABAC Deployment Using XACML; 4.4.1 Access Policy Formulation and Encoding; 4.4.2 Request/Response Formulation; 4.4.3 Policy Evaluation and Access Decision; 4.5 Implementation of XACML Framework; 4.5.1 Attribute Support and Management 4.5.2 Delegation4.6 Review and Analysis; References; Appendix A; 5 Next Generation Access Control; 5.1 Introduction; 5.2 Policy and Attribute Elements; 5.3 Relations; 5.3.1 Assignments and Associations; 5.3.2 Prohibitions Denials; 5.3.3 Obligations; 5.4 NGAC Decision Function; 5.5 Delegation of Access Rights; 5.6 NGAC Administrative Commands and Routines; 5.7 Arbitrary Data Service Operations; 5.8 NGAC Functional Architecture; 5.8.1 Resource Access; 5.8.2 Administrative Access; 5.9 Conclusion; References; 6 ABAC Policy Verifications and Testing; 6.1 Introduction; 6.2 ABAC Policy Classes 6.2.1 Static Policy Class6.2.2 Dynamic Policy Class; 6.2.3 Historical Policy Class; 6.3 Access Control Safety and Faults; 6.4 Verification Approaches; 6.4.1 Model Verification; 6.4.2 Coverage and Confinements Semantic Faults; 6.4.3 Property Confinement Checking; 6.4.4 Implementation Test; 6.5 Implementation Considerations*; 6.6 Verification Tools; 6.6.1 Multiterminal Binary Decision Diagrams; 6.6.2 ACPT; 6.6.3 Formal Methods; 6.7 Conclusion; References; 7 Attribute Consideration; 7.1 Introduction; 7.2 ABAC Attributes; 7.3 Consideration Elements; 7.4 Preparation Consideration |
| Record Nr. | UNINA-9910809941403321 |
Hu Vincent
|
||
| Boston, Massachusetts : , : Artech House, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||