Search
Feedback
About
Help
News
| Listing 1 - 10 of 117 | << page >> |
Sort by
|
Book
Year: 1993 Publisher: Norfolk, Virginia : Department of Electrical & Computer Engineering, College of Engineering & Technology, Old Dominion University,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Graph theory. --- Information flow. --- Petri nets. --- Real time operation. --- Heterogeneity.
Book
Year: 2020 Publisher: Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Cold flow tests. --- Information flow. --- Photonics. --- Ejectors. --- Pressure distribution.
Book
ISBN: 1000012049 3866443986 Year: 2009 Publisher: KIT Scientific Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.
information flow control --- software security --- program slicing --- program dependence graph --- path conditions
Book
ISBN: 1000128850 3731510820 Year: 2021 Publisher: Karlsruhe KIT Scientific Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The ever-growing levels of complexity of modern information systems complicate the traceability of processed and stored personal data. The individual citizen is at the mercy of the systems. Data protection law tries to counteract this. The right to information is one instrument of data protection to establish transparency. This work critically evaluates the right to information and creates comprehensive technical preconditions for its exercise.
Maths for computer scientists --- Datenschutz --- Auskunft --- Provenance --- Nutzungskontrolle --- Unverkettbarkeit --- Privacy --- Information Flow --- Usage Control --- Unlinkability
Book
Year: 1988 Publisher: Hanover, NH : [Washington, D.C.]: Department of Mathematics and Computer Science, Dartmouth College ; [National Aeronautics and Space Administration],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Access control. --- Computer information security. --- Information flow. --- Information transfer. --- Models. --- Policies. --- Protection.
Book
Year: 2013 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Angle of attack. --- Data acquisition. --- Information flow. --- Mach number. --- Reynolds number. --- Sonic booms. --- Wind tunnels.
Book
Year: 2022 Publisher: New York,NY,United States Association for Computing Machinery
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9039521336 Year: 2002 Publisher: Schoonhoven : Academic Service,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D46 --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Informatiebeveiliging --- Informatiebeveiliging. --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems)
ISBN: 0201433036 9780201433036 Year: 2000 Publisher: Reading (Mass.): Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D46 --- 681.3*D46 Security and protection: access controls authentication cryptographic controls information flow controls security kernels verification (Operating systems) --- Security and protection: access controls authentication cryptographic controls information flow controls security kernels verification (Operating systems) --- -681.3*D46 --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Information warfare --- National security --- Military art and science --- Homeland defense --- Homeland security --- Information warfare - United States --- National security - United States
Dissertation
ISBN: 9056824694 Year: 2004 Publisher: Leuven Katholieke Universiteit Leuven. Faculteit der Toegepaste Wetenschappen
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D46 <043> --- Academic collection --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems)--Dissertaties --- Theses --- 681.3*D46 <043> Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems)--Dissertaties
| Listing 1 - 10 of 117 | << page >> |
Sort by
|