Java + informatiestroomJAVA + INFORMATIE FLOW is een beveiliging getypte programmeertaal die Java uitbreidt met ondersteuning voor informatiestroomregeling. | |
Download nu |
Java + informatiestroom Rangschikking & Samenvatting
Advertentie
- Vergunning:
- GPL
- Prijs:
- FREE
- Naam uitgever:
- Stephen Chong, Andrew Myers and K. Vikram
- Uitgever website:
- http://www.cs.cornell.edu/jif/
Java + informatiestroom Tags
Java + informatiestroom Beschrijving
Java + Information Flow is een beveiliging getypte programmeertaal die Java uitbreidt met ondersteuning voor informatiestroomregeling. Java + Information Flow (Jif Kortom) is een beveiliging getypte programmeertaal die Java uitbreidt met ondersteuning voor informatiestroomregeling en toegangscontrole, zowel op compileertijd en op looptijd. De broncode voor het JAF-compiler en het run-time-systeem is nu beschikbaar om te downloaden. JAF is geschreven in Java en is gebouwd met behulp van het Polyglot Extensible Java-compiler-framework.Statische informatiestroomregeling kan de vertrouwelijkheid en integriteit van informatie beschermen die wordt gemanipuleerd door computersystemen. De compiler volgt de correspondentie tussen informatie het beleid dat het gebruik ervan beperken, het afdwingen van veiligheidseigenschappen end-to-end binnen het systeem. Na het controleren van informatiestroom binnen JIF-programma's, vertaalt de JAF-compiler ze naar Java-programma's en gebruikt een gewone Java-compiler om veilig uitvoerbare programma's te produceren.jif breidt Java uit door labels toe te voegen die beperkingen uitdrukt. De volgende variabele verklaring verklaart bijvoorbeeld niet alleen dat de variabele X een INT is, maar ook dat de informatie in X wordt beheerst door een beveiligingsbeleid: INT {ALICE BOB} X; in dit geval zegt het beveiligingsbeleid dat het beveiligingsbeleid zegt Informatie in X wordt geregeld door de hoofdservice Alice, en dat Alice deze informatie mogelijk maakt door de hoofdbob te worden gezien. Het beleid {Alice Bob} betekent dat informatie eigendom is van Alice, en dat Alice het toelaat dat het door BOB wordt beïnvloed. Op basis van etiketannotaties zoals deze, analyseert de JAF-compiler informatiestromen binnen programma's, om te bepalen of zij de vertrouwelijkheid en integriteit van informatie afdwingen.
Java + informatiestroom Gerelateerde software
Ontwikkelde Tiny C-compiler
Ontwikkelde Tiny C-compiler (OTCC) is een zeer kleine C-compiler. ...
102