From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security (Record no. 66989)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01694naaaa2200301uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/48105 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220220050839.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | KSP/1000020678 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783866445949 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.5445/KSP/1000020678 |
| Terms of availability | doi |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | English |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Wasserrab, Daniel |
| Relationship | auth |
| 245 10 - TITLE STATEMENT | |
| Title | From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | KIT Scientific Publishing |
| Date of publication, distribution, etc. | 2011 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (XIX, 203 p. p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Open Access |
| Source of term | star |
| Standardized terminology for access restriction | Unrestricted online access |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| Source of term | cc |
| -- | https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | English |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Formal Semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Slicing |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Theorem Proving |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Language Based Security |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Modularity |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://www.ksp.kit.edu/9783866445949">https://www.ksp.kit.edu/9783866445949</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://directory.doabooks.org/handle/20.500.12854/48105">https://directory.doabooks.org/handle/20.500.12854/48105</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.